diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:18:47 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:18:47 +0100 |
commit | 14f84a881d00c6085d20547c80b343dd9f79354b (patch) | |
tree | 79b9070f6ad0c80648010c7e7878cdf7a754d326 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner | |
parent | Solver gives partial solutions even if it fails due to timeout or unsat (diff) | |
download | VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.tar.gz VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.tar.zst VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.zip |
Fix boolean element mapping handling in logic structures for VS
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend index eef53973..f61c7333 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend | |||
@@ -109,7 +109,7 @@ class PartialModelAsLogicInterpretation implements LogicModelInterpretation{ | |||
109 | if(this.trace.containsKey(e)) return e.lookup(trace) as DefinedElement | 109 | if(this.trace.containsKey(e)) return e.lookup(trace) as DefinedElement |
110 | else return e; | 110 | else return e; |
111 | } | 111 | } |
112 | def dispatch elementLookupForward(BooleanElement e) { | 112 | def dispatch elementLookupForward(Boolean e) { |
113 | this.booleanForwardTrace.get(e) | 113 | this.booleanForwardTrace.get(e) |
114 | } | 114 | } |
115 | def dispatch elementLookupForward(Integer e) { | 115 | def dispatch elementLookupForward(Integer e) { |