diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src')
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 { | |||
84 | p.add(undefinedPart) | 84 | p.add(undefinedPart) |
85 | Supertype(definedPart,declaration) | 85 | Supertype(definedPart,declaration) |
86 | Supertype(undefinedPart,declaration) | 86 | Supertype(undefinedPart,declaration) |
87 | |||
88 | for(containment : p.containmentHierarchies) { | ||
89 | if(containment.typesOrderedInHierarchy.contains(declaration)) { | ||
90 | containment.typesOrderedInHierarchy += definedPart | ||
91 | containment.typesOrderedInHierarchy += undefinedPart | ||
92 | } | ||
93 | } | ||
87 | } | 94 | } |
88 | } | 95 | } |
89 | 96 | ||