diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java index a5b9fc66..5bef061a 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java | |||
@@ -128,7 +128,7 @@ public class NumericProblemSolver { | |||
128 | if (s.check() == Status.SATISFIABLE) { | 128 | if (s.check() == Status.SATISFIABLE) { |
129 | Model m = s.getModel(); | 129 | Model m = s.getModel(); |
130 | endSolvingProblem = System.nanoTime()-startSolvingProblem; | 130 | endSolvingProblem = System.nanoTime()-startSolvingProblem; |
131 | System.out.println("Solving problem: " + (endSolvingProblem - startSolvingProblem)); | 131 | //System.out.println("Solving problem: " + (endSolvingProblem - startSolvingProblem)); |
132 | long startFormingSolution = System.nanoTime(); | 132 | long startFormingSolution = System.nanoTime(); |
133 | for (PrimitiveElement o: objs) { | 133 | for (PrimitiveElement o: objs) { |
134 | if(varMap.containsKey(o)) { | 134 | if(varMap.containsKey(o)) { |