diff options
author | 2017-08-15 03:32:05 +0200 | |
---|---|---|
committer | 2017-08-15 03:32:05 +0200 | |
commit | 96aaf81612d6c8176149c77817101b239fc52d62 (patch) | |
tree | 6f9b840f040d67e23d9f393fb76e33ad2201e775 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf | |
parent | Type scope support for initial instance model mapping (diff) | |
download | VIATRA-Generator-96aaf81612d6c8176149c77817101b239fc52d62.tar.gz VIATRA-Generator-96aaf81612d6c8176149c77817101b239fc52d62.tar.zst VIATRA-Generator-96aaf81612d6c8176149c77817101b239fc52d62.zip |
Viatra Solver result support for primitive types
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.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/PatternGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend index 05cda966..2986e344 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PatternGenerator.xtend | |||
@@ -161,7 +161,7 @@ class PatternGenerator { | |||
161 | } or { | 161 | } or { |
162 | find interpretation(problem,interpetation); | 162 | find interpretation(problem,interpetation); |
163 | neg find closeWorld(interpetation); | 163 | neg find closeWorld(interpetation); |
164 | PartialInterpretation.openWorldElementPrototype(interpetation,element); | 164 | PartialInterpretation.openWorldElementPrototypes(interpetation,element); |
165 | } | 165 | } |
166 | 166 | ||
167 | private pattern closeWorld(interpetation:PartialInterpretation) { | 167 | private pattern closeWorld(interpetation:PartialInterpretation) { |