1 files changed, 7 insertions, 7 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
index 4a8da38c..a4dcefbf 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
@@ -235,10 +235,10 @@ class PConstraintTransformer {
                                        «ENDFOR»
                                        check(
                                                «FOR variable: e.affectedVariables SEPARATOR " || "»!«variable.valueSetted»«ENDFOR»
-                                                «IF variable2Type.values.filter(RealTypeReference).empty»
+«««                                          «IF variable2Type.values.filter(RealTypeReference).empty»
-                                                ||
+«««                                          ||
-                                                («expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»)
+«««                                          («expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»)
-                                                «ENDIF»
+«««                                          «ENDIF»
                                        );
                                '''
                        } else { // Must or Current
@@ -246,9 +246,9 @@ class PConstraintTransformer {
                                        «FOR variable: e.affectedVariables»
                                                PrimitiveElement.valueSet(«variable.canonizeName»,true); «hasValueExpression(variableMapping,variable,variable.valueVariable)»
                                        «ENDFOR»
-                                        «IF variable2Type.values.filter(RealTypeReference).empty»
+«««                                  «IF variable2Type.values.filter(RealTypeReference).empty»
-                                                check(«expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»);
+«««                                          check(«expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»);
-                                        «ENDIF»
+«««                                  «ENDIF»
                                '''
                        }
                }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend index 4a8da38c..a4dcefbf 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
@@ -235,10 +235,10 @@ class PConstraintTransformer {
235	«ENDFOR»	235	«ENDFOR»
236	check(	236	check(
237	«FOR variable: e.affectedVariables SEPARATOR " \|\| "»!«variable.valueSetted»«ENDFOR»	237	«FOR variable: e.affectedVariables SEPARATOR " \|\| "»!«variable.valueSetted»«ENDFOR»
238	«IF variable2Type.values.filter(RealTypeReference).empty»	238	««« «IF variable2Type.values.filter(RealTypeReference).empty»
239	\|\|	239	««« \|\|
240	(«expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»)	240	««« («expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»)
241	«ENDIF»	241	««« «ENDIF»
242	);	242	);
243	'''	243	'''
244	} else { // Must or Current	244	} else { // Must or Current
@@ -246,9 +246,9 @@ class PConstraintTransformer {
246	«FOR variable: e.affectedVariables»	246	«FOR variable: e.affectedVariables»
247	PrimitiveElement.valueSet(«variable.canonizeName»,true); «hasValueExpression(variableMapping,variable,variable.valueVariable)»	247	PrimitiveElement.valueSet(«variable.canonizeName»,true); «hasValueExpression(variableMapping,variable,variable.valueVariable)»
248	«ENDFOR»	248	«ENDFOR»
249	«IF variable2Type.values.filter(RealTypeReference).empty»	249	««« «IF variable2Type.values.filter(RealTypeReference).empty»
250	check(«expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»);	250	««« check(«expressionGenerator.translateExpression(expression,e.affectedVariables.toInvertedMap[valueVariable],variable2Type)»);
251	«ENDIF»	251	««« «ENDIF»
252	'''	252	'''
253	}	253	}
254	}	254	}