diff options
author | 2017-08-27 17:20:18 +0200 | |
---|---|---|
committer | 2017-08-27 17:20:18 +0200 | |
commit | 04f5e257ca684dfe75262a5cf1f29b72ba197edf (patch) | |
tree | 6dcabdebdb3d7d3af794b39344d965ebf2bc2b6d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf | |
parent | simple typemapper for alloy (diff) | |
download | VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.gz VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.zst VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.zip |
Primitive types added to the logic problem only if needed
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf')
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 | ||