diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend index c9e183ab..1aa3b955 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/GenericTypeRefinementGenerator.xtend | |||
@@ -42,7 +42,7 @@ class GenericTypeRefinementGenerator extends TypeRefinementGenerator { | |||
42 | { | 42 | { |
43 | find interpretation(problem,interpretation); | 43 | find interpretation(problem,interpretation); |
44 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 44 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
45 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 45 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
46 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 46 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
47 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); | 47 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); |
48 | PartialInterpretation.partialrelationinterpretation(interpretation,inverseInterpretation); | 48 | PartialInterpretation.partialrelationinterpretation(interpretation,inverseInterpretation); |
@@ -61,7 +61,7 @@ class GenericTypeRefinementGenerator extends TypeRefinementGenerator { | |||
61 | { | 61 | { |
62 | find interpretation(problem,interpretation); | 62 | find interpretation(problem,interpretation); |
63 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 63 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
64 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 64 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
65 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); | 65 | PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation); |
66 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); | 66 | PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»"); |
67 | «base.typeIndexer.referInstanceOf((containmentRelation.parameters.get(0) as ComplexTypeReference).referred,Modality.MUST,"container")» | 67 | «base.typeIndexer.referInstanceOf((containmentRelation.parameters.get(0) as ComplexTypeReference).referred,Modality.MUST,"container")» |
@@ -79,7 +79,7 @@ class GenericTypeRefinementGenerator extends TypeRefinementGenerator { | |||
79 | find interpretation(problem,interpretation); | 79 | find interpretation(problem,interpretation); |
80 | neg find hasElementInContainment(problem,interpretation); | 80 | neg find hasElementInContainment(problem,interpretation); |
81 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 81 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
82 | PartialTypeInterpratation.interpretationOf.name(type,"«type.name»"); | 82 | PartialComplexTypeInterpretation.interpretationOf.name(type,"«type.name»"); |
83 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» | 83 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» |
84 | find mayExist(problem, interpretation, newObject); | 84 | find mayExist(problem, interpretation, newObject); |
85 | neg find mustExist(problem, interpretation, newObject); | 85 | neg find mustExist(problem, interpretation, newObject); |
@@ -91,7 +91,7 @@ class GenericTypeRefinementGenerator extends TypeRefinementGenerator { | |||
91 | { | 91 | { |
92 | find interpretation(problem,interpretation); | 92 | find interpretation(problem,interpretation); |
93 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); | 93 | PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation); |
94 | PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»"); | 94 | PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»"); |
95 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» | 95 | «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")» |
96 | find mayExist(problem, interpretation, newObject); | 96 | find mayExist(problem, interpretation, newObject); |
97 | neg find mustExist(problem, interpretation, newObject); | 97 | neg find mustExist(problem, interpretation, newObject); |