aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java4
1 files changed, 1 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/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 a2de1abc..4800f71d 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
@@ -307,7 +307,6 @@ public class BestFirstStrategyForModelGeneration implements IStrategy {
307 307
308 public List<String> times = new LinkedList<String>(); 308 public List<String> times = new LinkedList<String>();
309 private void saveTimes() { 309 private void saveTimes() {
310 long statecoderTime = ((NeighbourhoodBasedPartialInterpretationStateCoder<?, ?>)this.context.getStateCoder()).getStatecoderRuntime()/1000000;
311 long forwardTime = context.getDesignSpaceManager().getForwardTime()/1000000; 310 long forwardTime = context.getDesignSpaceManager().getForwardTime()/1000000;
312 long backtrackingTime = context.getDesignSpaceManager().getBacktrackingTime()/1000000; 311 long backtrackingTime = context.getDesignSpaceManager().getBacktrackingTime()/1000000;
313 long activationSelection = this.activationSelector.getRuntime()/1000000; 312 long activationSelection = this.activationSelector.getRuntime()/1000000;
@@ -317,8 +316,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy {
317 long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000; 316 long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000;
318 long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; 317 long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000;
319 this.times.add( 318 this.times.add(
320 "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime/1000000+ 319 "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime/1000000+
321 "|StateCoderTime:"+statecoderTime+
322 "|ForwardTime:"+forwardTime+ 320 "|ForwardTime:"+forwardTime+
323 "|Backtrackingtime:"+backtrackingTime+ 321 "|Backtrackingtime:"+backtrackingTime+
324 "|GlobalConstraintEvaluationTime:"+(globalConstraintEvaluationTime/1000000)+ 322 "|GlobalConstraintEvaluationTime:"+(globalConstraintEvaluationTime/1000000)+