diff options
author | 2017-08-16 18:53:14 +0200 | |
---|---|---|
committer | 2017-08-16 18:53:14 +0200 | |
commit | 220c94d5e4f79f0699f51ef78c1c72022121e344 (patch) | |
tree | ea06d4b57d5faf63d8fa1a8f7ff08a65df3dcb91 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend | |
parent | runners with new type scopes (diff) | |
download | VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.tar.gz VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.tar.zst VIATRA-Generator-220c94d5e4f79f0699f51ef78c1c72022121e344.zip |
Bugfixing typo in generated queries
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.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/TypeIndexerWithPreliminaryTypeAnalysis.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend index 73e43d52..fd0b7c18 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeIndexerWithPreliminaryTypeAnalysis.xtend | |||
@@ -81,7 +81,7 @@ class TypeIndexerWithPreliminaryTypeAnalysis extends TypeIndexer{ | |||
81 | «ENDFOR» | 81 | «ENDFOR» |
82 | } or { | 82 | } or { |
83 | find interpretation(problem,interpretation); | 83 | find interpretation(problem,interpretation); |
84 | PartialInterpretation.openWorldElementPrototype(interpetation,element); | 84 | PartialInterpretation.openWorldElementPrototypes(interpetation,element); |
85 | } or | 85 | } or |
86 | «ENDIF» | 86 | «ENDIF» |
87 | { «referInstanceOf(type,Modality.MUST,"element")» } | 87 | { «referInstanceOf(type,Modality.MUST,"element")» } |