diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic')
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 { | |||
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 |