[pagoda] Add method to set properties on QueryReasoner

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 {
         return new HermiTReasoner(toCheckSatisfiability);
     }
 
+    public void setProperties(PagodaProperties p) {
+        if(isDisposed()) throw new DisposedException();
+        properties = p;
+    }
+
     public void setToClassify(boolean flag) {
         if(isDisposed()) throw new DisposedException();
         properties.setToClassify(flag);