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 (file)
--- 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 (file)
--- 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 (file)
--- 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]
 }