From 3d1c8553f61747b54a8304a39f401f9b77f8cf57 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Sat, 1 Aug 2015 18:53:23 +0100
Subject: Option for SkolemUpperBound application and for skolemisation depth
 (from file pagoda.properties).

---
 src/resources/pagoda.properties | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/resources/pagoda.properties')

diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
index e49aa35..07a0eac 100644
--- a/src/resources/pagoda.properties
+++ b/src/resources/pagoda.properties
@@ -1,6 +1,9 @@
 debug=true
 useAlwaysSimpleUpperBound=false
-useSkolemUpperBound=false
+skolemUpperBound=DISABLED
+skolemDepth=1
+#skolemUpperBound=BEFORE_SUMMARISATION
+#skolemUpperBound=AFTER_SUMMARISATION
 toCallHermit=true
 
 statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics
\ No newline at end of file
-- 
cgit v1.2.3