diff options
| author |  OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-15 03:32:05 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 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 | |
| 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')
| -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) { |