diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java index 5869889d..8035c947 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | |||
@@ -9,6 +9,9 @@ | |||
9 | *******************************************************************************/ | 9 | *******************************************************************************/ |
10 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse; | 10 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse; |
11 | 11 | ||
12 | import java.io.BufferedReader; | ||
13 | import java.io.IOException; | ||
14 | import java.io.InputStreamReader; | ||
12 | import java.util.ArrayList; | 15 | import java.util.ArrayList; |
13 | import java.util.Arrays; | 16 | import java.util.Arrays; |
14 | import java.util.Collection; | 17 | import java.util.Collection; |
@@ -146,6 +149,13 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
146 | 149 | ||
147 | @Override | 150 | @Override |
148 | public void explore() { | 151 | public void explore() { |
152 | // System.out.println("press enter"); | ||
153 | // try { | ||
154 | // new BufferedReader(new InputStreamReader(System.in)).readLine(); | ||
155 | // } catch (IOException e) { | ||
156 | // // TODO Auto-generated catch block | ||
157 | // e.printStackTrace(); | ||
158 | // } | ||
149 | this.explorationStarted=System.nanoTime(); | 159 | this.explorationStarted=System.nanoTime(); |
150 | if (!context.checkGlobalConstraints()) { | 160 | if (!context.checkGlobalConstraints()) { |
151 | logger.info("Global contraint is not satisifed in the first state. Terminate."); | 161 | logger.info("Global contraint is not satisifed in the first state. Terminate."); |
@@ -308,7 +318,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
308 | long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000; | 318 | long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000; |
309 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; | 319 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; |
310 | this.times.add( | 320 | this.times.add( |
311 | "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime+ | 321 | "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime/1000000+ |
312 | "|StateCoderTime:"+statecoderTime+ | 322 | "|StateCoderTime:"+statecoderTime+ |
313 | "|SolutionCopyTime:"+solutionCopy+ | 323 | "|SolutionCopyTime:"+solutionCopy+ |
314 | "|ActivationSelectionTime:"+activationSelection+ | 324 | "|ActivationSelectionTime:"+activationSelection+ |