1 files changed, 4 insertions, 3 deletions

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 4b0ea544..ab3e6601 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
@@ -98,11 +98,12 @@ class NumericSolver {
                         finalResult=true

                 } else {

                         val propagatedConstraints = new HashMap

+                        println("------ Any matches?")

                         for(entry : matches.entrySet) {

                                 val constraint = entry.key

-                                //println(constraint)

+                                println("------ " + constraint)

                                 val allMatches = entry.value.allMatches.map[it.toArray]

-                                //println(allMatches.toList)

+                                println("------ " + allMatches.toList)

                                 propagatedConstraints.put(constraint,allMatches)

                         }

                         if(propagatedConstraints.values.forall[empty]) {

@@ -198,6 +199,6 @@ class NumericSolver {
         

         def protected dispatch fillWithValue(BooleanElement e, Object value) {e.valueSet=true e.value=value as Boolean}

         def protected dispatch fillWithValue(IntegerElement e, Object value) {e.valueSet=true e.value=value as Integer}

-        def protected dispatch fillWithValue(RealElement e, Object value) {e.valueSet=true e.value=BigDecimal.valueOf(value as Double) }

+        def protected dispatch fillWithValue(RealElement e, Object value) {e.valueSet=true e.value=value as Double }

         def protected dispatch fillWithValue(StringElement e, Object value) {e.valueSet=true e.value=value as String}

 }
\ No newline at end of file