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/TypeRefinementWithPreliminaryTypeAnalysis.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend
index 8a6efeeb..7c5f507b 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/TypeRefinementWithPreliminaryTypeAnalysis.xtend
@@ -41,7 +41,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{
                                                 {

                                                         find interpretation(problem,interpretation);

                                                         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);

-                                                        PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»");

+                                                        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»");

                                                         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);

                                                         PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»");

                                                         PartialInterpretation.partialrelationinterpretation(interpretation,inverseInterpretation);

@@ -60,7 +60,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{
                                                 {

                                                         find interpretation(problem,interpretation);

                                                         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);

-                                                        PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»");

+                                                        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»");

                                                         PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);

                                                         PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"«containmentRelation.name»");

                                                         «base.typeIndexer.referInstanceOf((containmentRelation.parameters.get(0) as ComplexTypeReference).referred,Modality.MUST,"container")»

@@ -78,7 +78,7 @@ class TypeRefinementWithPreliminaryTypeAnalysis extends TypeRefinementGenerator{
                                         find interpretation(problem,interpretation);

                                         neg find hasElementInContainment(problem,interpretation);

                                         PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);

-                                        PartialTypeInterpratation.interpretationOf.name(typeInterpretation,"«type.name»");

+                                        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"«type.name»");

                                         «base.typeIndexer.referInstanceOf(type,Modality.MAY,"newObject")»

                                         find mayExist(problem, interpretation, newObject);

                                         neg find mustExist(problem, interpretation, newObject);