diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-15 04:40:17 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-15 04:40:17 -0500 |
| commit | 2492b5f012b045917e7261bd5c78b432ec4d3dc6 (patch) | |
| tree | a75d37badab96eb6c417955bc4e5488055335fcf /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra | |
| parent | some cleanup (diff) | |
| download | VIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.tar.gz VIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.tar.zst VIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.zip | |
Begin vql implementation + fix enums bug
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend | 2 |
1 files changed, 1 insertions, 1 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 dd5cade1..2b616e32 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 | |||
| @@ -159,7 +159,7 @@ class PConstraintTransformer { | |||
| 159 | var String additionalDefinition; | 159 | var String additionalDefinition; |
| 160 | if(target instanceof EEnumLiteral) { | 160 | if(target instanceof EEnumLiteral) { |
| 161 | targetString = '''const_«target.name»_«target.EEnum.name»''' | 161 | targetString = '''const_«target.name»_«target.EEnum.name»''' |
| 162 | additionalDefinition = '''DefinedElement.name(«targetString»,"«target.name» «target.EEnum.name»"); //LogicProblem.elements(problem,«targetString»);''' | 162 | additionalDefinition = '''DefinedElement.name(«targetString»,"«target.name» literal «target.EEnum.name»"); //LogicProblem.elements(problem,«targetString»);''' |
| 163 | } else if(target instanceof Integer) { | 163 | } else if(target instanceof Integer) { |
| 164 | targetString = '''const_«target»_Integer''' | 164 | targetString = '''const_«target»_Integer''' |
| 165 | additionalDefinition = '''PrimitiveElement.valueSet(«targetString»,true); IntegerElement.value(«targetString»,«target»);''' | 165 | additionalDefinition = '''PrimitiveElement.valueSet(«targetString»,true); IntegerElement.value(«targetString»,«target»);''' |