From 6e8ee40e41d84e0466153802a2c9b4ae88af3544 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 9 Jun 2015 18:23:15 +0100
Subject: Fixed marking original individuals in the relevant upper store.

---
 src/uk/ac/ox/cs/pagoda/Pagoda.java | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/uk/ac/ox/cs/pagoda/Pagoda.java')

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