Primitive types added to the logic problem only if needed

1 files changed, 7 insertions, 0 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 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

+                                }

+                        }

                 }

         }