Changed naming convention in generated logic problems.

An identifier usually separated by whitespaces into name sections,
creating hierarchic names. By convention names with at most three
sections are represented in the following way:
"nameOfObject typeOfObject namespaceOfObject".

For example, the name of a relation "vertices" representing a
"reference" in class "Region" will be: 
"vertices reference Region"

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