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 | |
| 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')
| -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)) { |