diff options
author | 2018-06-20 14:42:23 +0200 | |
---|---|---|
committer | 2018-06-20 14:42:23 +0200 | |
commit | 27187323b760bd7bba5e16cc75fadb041888e2c8 (patch) | |
tree | e1685c55dc7968381324d65e8ac64df079d4084a /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend | |
parent | Visualisation stub removed (diff) | |
download | VIATRA-Generator-27187323b760bd7bba5e16cc75fadb041888e2c8.tar.gz VIATRA-Generator-27187323b760bd7bba5e16cc75fadb041888e2c8.tar.zst VIATRA-Generator-27187323b760bd7bba5e16cc75fadb041888e2c8.zip |
Fixing multiple "true" and "false" objects
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend')
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend index e4ad4295..5d8d9313 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend | |||
@@ -23,6 +23,7 @@ import org.eclipse.emf.ecore.util.EcoreUtil | |||
23 | import org.eclipse.xtend.lib.annotations.Data | 23 | import org.eclipse.xtend.lib.annotations.Data |
24 | 24 | ||
25 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 25 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
26 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement | ||
26 | 27 | ||
27 | @Data class PartialInterpretation2Logic_Trace { | 28 | @Data class PartialInterpretation2Logic_Trace { |
28 | Map<DefinedElement,DefinedElement> new2Old = new HashMap | 29 | Map<DefinedElement,DefinedElement> new2Old = new HashMap |
@@ -66,7 +67,7 @@ class PartialInterpretation2Logic { | |||
66 | // newElement.name = '''o «newElementIndex++»''' | 67 | // newElement.name = '''o «newElementIndex++»''' |
67 | // p.elements += newElement | 68 | // p.elements += newElement |
68 | // } | 69 | // } |
69 | p.elements += i.newElements | 70 | p.elements += i.newElements.filter[!it instanceof PrimitiveElement] |
70 | } | 71 | } |
71 | 72 | ||
72 | private def splitTypeIntoTwo(LogicProblem p, PartialComplexTypeInterpretation partialTypeDeclaration,PartialInterpretation2Logic_Trace trace) { | 73 | private def splitTypeIntoTwo(LogicProblem p, PartialComplexTypeInterpretation partialTypeDeclaration,PartialInterpretation2Logic_Trace trace) { |