diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend index a703ba4b..2dae95be 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeIndexer.xtend | |||
@@ -20,11 +20,11 @@ class GenericTypeIndexer extends TypeIndexer { | |||
20 | PartialInterpretation.newElements(interpretation,element); | 20 | PartialInterpretation.newElements(interpretation,element); |
21 | } | 21 | } |
22 | 22 | ||
23 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialTypeInterpratation) { | 23 | private pattern typeInterpretation(problem:LogicProblem, interpetation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) { |
24 | find interpretation(problem,interpetation); | 24 | find interpretation(problem,interpetation); |
25 | LogicProblem.types(problem,type); | 25 | LogicProblem.types(problem,type); |
26 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); | 26 | PartialInterpretation.partialtypeinterpratation(interpetation,typeInterpretation); |
27 | PartialTypeInterpratation.interpretationOf(typeInterpretation,type); | 27 | PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type); |
28 | } | 28 | } |
29 | 29 | ||
30 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { | 30 | private pattern directInstanceOf(problem:LogicProblem, interpetation:PartialInterpretation, element:DefinedElement, type:Type) { |
@@ -35,7 +35,7 @@ class GenericTypeIndexer extends TypeIndexer { | |||
35 | } or { | 35 | } or { |
36 | find mustExist(problem,interpetation,element); | 36 | find mustExist(problem,interpetation,element); |
37 | find typeInterpretation(problem,interpetation,type,typeInterpretation); | 37 | find typeInterpretation(problem,interpetation,type,typeInterpretation); |
38 | PartialTypeInterpratation.elements(typeInterpretation,element); | 38 | PartialComplexTypeInterpretation.elements(typeInterpretation,element); |
39 | } | 39 | } |
40 | 40 | ||
41 | /** | 41 | /** |