From 04f5e257ca684dfe75262a5cf1f29b72ba197edf Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 27 Aug 2017 17:20:18 +0200 Subject: Primitive types added to the logic problem only if needed --- .../partialinterpretation2logic/PartialInterpretation2Logic.xtend | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver') 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 87774f43..c5fe1d74 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 @@ -84,6 +84,13 @@ class PartialInterpretation2Logic { p.add(undefinedPart) Supertype(definedPart,declaration) Supertype(undefinedPart,declaration) + + for(containment : p.containmentHierarchies) { + if(containment.typesOrderedInHierarchy.contains(declaration)) { + containment.typesOrderedInHierarchy += definedPart + containment.typesOrderedInHierarchy += undefinedPart + } + } } } -- cgit v1.2.3-54-g00ecf