diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend | 13 |
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 { | |||
240 | dispatch def transformConstraint(PConstraint c, Modality modality, List<VariableMapping> variableMapping) { | 240 | dispatch def transformConstraint(PConstraint c, Modality modality, List<VariableMapping> variableMapping) { |
241 | throw new UnsupportedOperationException('''Unknown constraint type: "«c.class.name»"!''') | 241 | throw new UnsupportedOperationException('''Unknown constraint type: "«c.class.name»"!''') |
242 | } | 242 | } |
243 | |||
244 | dispatch def transformConstraintUnset(ExpressionEvaluation e, List<VariableMapping> variableMapping) { | ||
245 | return ''' | ||
246 | «FOR variable: e.affectedVariables» | ||
247 | PrimitiveElement.valueSet(«variable.canonizeName»,«variable.valueSetted»); «hasValueExpression(variableMapping,variable,variable.valueVariable)» | ||
248 | «ENDFOR» | ||
249 | check(«FOR variable: e.affectedVariables SEPARATOR " || "»!«variable.valueSetted»«ENDFOR»); | ||
250 | ''' | ||
251 | } | ||
252 | |||
253 | dispatch def transformConstraintUnset(PConstraint c, List<VariableMapping> variableMapping) { | ||
254 | throw new UnsupportedOperationException('''Unknown constraint type: "«c.class.name»"!''') | ||
255 | } | ||
243 | } \ No newline at end of file | 256 | } \ No newline at end of file |