aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
index e8daa3b..b6623c2 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
@@ -82,6 +82,11 @@ public abstract class QueryReasoner extends Disposable {
82 return new HermiTReasoner(toCheckSatisfiability); 82 return new HermiTReasoner(toCheckSatisfiability);
83 } 83 }
84 84
85 public void setProperties(PagodaProperties p) {
86 if(isDisposed()) throw new DisposedException();
87 properties = p;
88 }
89
85 public void setToClassify(boolean flag) { 90 public void setToClassify(boolean flag) {
86 if(isDisposed()) throw new DisposedException(); 91 if(isDisposed()) throw new DisposedException();
87 properties.setToClassify(flag); 92 properties.setToClassify(flag);