From 4ccaba7ad5a23a060bca0fdf6660302f2bd9153c Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Sat, 9 May 2020 21:36:05 +0200 Subject: uninvolved objects are filled with a default value --- .../mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend index b72bdb44..e1745854 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend @@ -102,6 +102,9 @@ class NumericSolver { val value = solution.get(element) val target = trace.get(element) as PrimitiveElement target.fillWithValue(value) + } else { + val target = trace.get(element) as PrimitiveElement + target.fillWithValue(target.defaultValue) } } } -- cgit v1.2.3-54-g00ecf