1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
index 39d8a365..87774f43 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
@@ -57,7 +57,7 @@ class PartialInterpretation2Logic {
                val newElements = new ArrayList(i.newElements)
                var newElementIndex = 1
                for(newElement : newElements) {
-                        newElement.name = '''DefinedElement «newElementIndex++»'''
+                        newElement.name = '''o «newElementIndex++»'''
                        p.elements += newElement
                }
        }
@@ -67,12 +67,12 @@ class PartialInterpretation2Logic {
                        val declaration = partialTypeDeclaration.interpretationOf
                        
                        val definedPart = createTypeDefinition => [
-                                it.name = '''DefinedPartOf «declaration.name»'''
+                                it.name = '''«declaration.name» DefinedPart'''
                                it.elements += partialTypeDeclaration.elements
                                it.isAbstract = declaration.isIsAbstract
                        ]
                        val undefinedPart = createTypeDeclaration => [
-                                it.name = '''UndefinedPartOf «declaration.name»'''
+                                it.name = '''«declaration.name» UndefinedPart'''
                                it.isAbstract = declaration.isIsAbstract
                        ]
                        declaration.isAbstract = true

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend index 39d8a365..87774f43 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
@@ -57,7 +57,7 @@ class PartialInterpretation2Logic {
57	val newElements = new ArrayList(i.newElements)	57	val newElements = new ArrayList(i.newElements)
58	var newElementIndex = 1	58	var newElementIndex = 1
59	for(newElement : newElements) {	59	for(newElement : newElements) {
60	newElement.name = '''DefinedElement «newElementIndex++»'''	60	newElement.name = '''o «newElementIndex++»'''
61	p.elements += newElement	61	p.elements += newElement
62	}	62	}
63	}	63	}
@@ -67,12 +67,12 @@ class PartialInterpretation2Logic {
67	val declaration = partialTypeDeclaration.interpretationOf	67	val declaration = partialTypeDeclaration.interpretationOf
68		68
69	val definedPart = createTypeDefinition => [	69	val definedPart = createTypeDefinition => [
70	it.name = '''DefinedPartOf «declaration.name»'''	70	it.name = '''«declaration.name» DefinedPart'''
71	it.elements += partialTypeDeclaration.elements	71	it.elements += partialTypeDeclaration.elements
72	it.isAbstract = declaration.isIsAbstract	72	it.isAbstract = declaration.isIsAbstract
73	]	73	]
74	val undefinedPart = createTypeDeclaration => [	74	val undefinedPart = createTypeDeclaration => [
75	it.name = '''UndefinedPartOf «declaration.name»'''	75	it.name = '''«declaration.name» UndefinedPart'''
76	it.isAbstract = declaration.isIsAbstract	76	it.isAbstract = declaration.isIsAbstract
77	]	77	]
78	declaration.isAbstract = true	78	declaration.isAbstract = true