UP rule precondition provider

1 files changed, 13 insertions, 0 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 a421d1fd..608ab994 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
@@ -240,4 +240,17 @@ class PConstraintTransformer {
         dispatch def transformConstraint(PConstraint c, Modality modality, List<VariableMapping> variableMapping) {

                 throw new UnsupportedOperationException('''Unknown constraint type: "«c.class.name»"!''')

         }

+        

+        dispatch def transformConstraintUnset(ExpressionEvaluation e, List<VariableMapping> variableMapping) {

+                return '''

+                        «FOR variable: e.affectedVariables»

+                                PrimitiveElement.valueSet(«variable.canonizeName»,«variable.valueSetted»); «hasValueExpression(variableMapping,variable,variable.valueVariable)»

+                        «ENDFOR»

+                        check(«FOR variable: e.affectedVariables SEPARATOR " || "»!«variable.valueSetted»«ENDFOR»);

+                '''

+        }

+        

+        dispatch def transformConstraintUnset(PConstraint c, List<VariableMapping> variableMapping) {

+                throw new UnsupportedOperationException('''Unknown constraint type: "«c.class.name»"!''')

+        }

 }
\ No newline at end of file