diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 03:19:49 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 03:19:49 +0200 |
commit | cdf6729249f723865ca7a6636d49bee50a1f5f80 (patch) | |
tree | b6b2e426d7cb7a688fa9ea0d87fef3c5bca91540 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner | |
parent | logging detailed measurement data for the numerical solver (diff) | |
download | VIATRA-Generator-cdf6729249f723865ca7a6636d49bee50a1f5f80.tar.gz VIATRA-Generator-cdf6729249f723865ca7a6636d49bee50a1f5f80.tar.zst VIATRA-Generator-cdf6729249f723865ca7a6636d49bee50a1f5f80.zip |
removed unnecesary printing
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner')
-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)) { |