Fixed marking original individuals in the relevant upper store.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/Pagoda.java b/src/uk/ac/ox/cs/pagoda/Pagoda.java
index aeb85a7..f5dce15 100644
--- a/src/uk/ac/ox/cs/pagoda/Pagoda.java
+++ b/src/uk/ac/ox/cs/pagoda/Pagoda.java
@@ -177,6 +177,12 @@ public class Pagoda implements Runnable {
             return this;
         }
 
+        public PagodaBuilder skolem(Boolean isEnabled) {
+            if(instance == null) return null;
+            instance.properties.setUseSkolemUpperBound(isEnabled);
+            return this;
+        }
+
         public Pagoda build() {
             Pagoda builtInstance = instance;
             instance = null;