From: tla <tla@mit.edu>
Date: Fri, 16 Aug 2013 19:10:07 +0000 (+0200)
Subject: fixes to IDP scripts per Bart Bogaerts
X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=commitdiff_plain;h=c92f16842fc12052308b62e32737e4314048b7a9;p=scpubgit%2Fstemmatology.git

fixes to IDP scripts per Bart Bogaerts
---

diff --git a/analysis/idp_server/findClasses.idp b/analysis/idp_server/findClasses.idp
index ff7c15a..5461b91 100644
--- a/analysis/idp_server/findClasses.idp
+++ b/analysis/idp_server/findClasses.idp
@@ -28,7 +28,7 @@ term TotalCost : V3 {
 
 procedure minSourcesAndReverts(sample) {
   stdoptions.groundwithbounds=false
-  stdoptions.symmetrybreaking='static'
+  stdoptions.symmetrybreaking="static"
   stdoptions.cpsupport=true
   addClasses(sample)
   return minimize(T3, sample, TotalCost)[1]
diff --git a/analysis/idp_server/findGroupings.idp b/analysis/idp_server/findGroupings.idp
index 7497164..a94d6c4 100644
--- a/analysis/idp_server/findGroupings.idp
+++ b/analysis/idp_server/findGroupings.idp
@@ -9,7 +9,7 @@ theory T1 : V1 {
 
 procedure check(sample) {
   stdoptions.groundwithbounds=false
-  stdoptions.symmetrybreaking='static'
+  stdoptions.symmetrybreaking="static"
   idpintern.setvocabulary(sample,V1)
   return onemodel(T1,sample)
 }
diff --git a/analysis/idp_server/findSources.idp b/analysis/idp_server/findSources.idp
index 0b9630d..305f54c 100644
--- a/analysis/idp_server/findSources.idp
+++ b/analysis/idp_server/findSources.idp
@@ -13,7 +13,7 @@ term NbOfSources : V2 {
 
 procedure minSources(sample) {
   stdoptions.groundwithbounds=false
-  stdoptions.symmetrybreaking='static'
+  stdoptions.symmetrybreaking="static"
   idpintern.setvocabulary(sample,V2)
   return minimize(T2, sample, NbOfSources)[1]
 }