From eaa8ed73aec7ca0ba02eb3e1c954388b8dbfc2cd Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 11 May 2022 12:35:27 +0100
Subject: [pagoda] Add method to set properties on QueryReasoner

---
 src/main/java/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src')

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);
-- 
cgit v1.2.3