From 14f84a881d00c6085d20547c80b343dd9f79354b Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 7 Nov 2018 13:18:47 +0100 Subject: Fix boolean element mapping handling in logic structures for VS --- .../viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend') 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{ if(this.trace.containsKey(e)) return e.lookup(trace) as DefinedElement else return e; } - def dispatch elementLookupForward(BooleanElement e) { + def dispatch elementLookupForward(Boolean e) { this.booleanForwardTrace.get(e) } def dispatch elementLookupForward(Integer e) { -- cgit v1.2.3-54-g00ecf