From b77b0fe5e2da1f240360fb12a287400b85ed8511 Mon Sep 17 00:00:00 2001
From: anqili426 <mollisterkl@outlook.com>
Date: Sun, 10 May 2020 22:57:22 -0400
Subject: Allow real numbers to be in the solution

---
 .../mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 fe378bd3..9da97d30 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
@@ -154,7 +154,7 @@ class NumericSolver {
 	def protected dispatch getDefaultValue(RealElement e) {0.0}
 	def protected dispatch getDefaultValue(StringElement e) {""}
 	
-	def protected fillWithSolutions(List<PrimitiveElement> elements, Map<PrimitiveElement, Integer> solution, Map<EObject, EObject> trace) {
+	def protected fillWithSolutions(List<PrimitiveElement> elements, Map<PrimitiveElement, Number> solution, Map<EObject, EObject> trace) {
 		for(element : elements) {
 			if(element.valueSet==false) {
 				if(solution.containsKey(element)) {
-- 
cgit v1.2.3-70-g09d2