From 220c94d5e4f79f0699f51ef78c1c72022121e344 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 18:53:14 +0200 Subject: Bugfixing typo in generated queries --- .../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') 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 3db21ea4..7751c8eb 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 @@ -46,7 +46,7 @@ class PartialModelAsLogicInterpretation implements LogicModelInterpretation{ this.elementBackwardTrace = initElementBackwardTrace(trace) this.booleanForwardTrace = initialisePrimitiveElementTrace( - null,null,null,partialInterpretation.booleanelements,[it.value]) + null,null,[null],partialInterpretation.booleanelements,[it.value]) integerForwardTrace = initialisePrimitiveElementTrace( 0,[it+1],[it],partialInterpretation.integerelements,[it.value]) realForwardTrace = initialisePrimitiveElementTrace( -- cgit v1.2.3-54-g00ecf