diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/BestFirstStrategyForModelGeneration.java | 3 |
1 files changed, 3 insertions, 0 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 4b7cead1..a8d2381c 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 | |||
@@ -37,6 +37,7 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | |||
37 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | 37 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; |
38 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.PartialInterpretation2Logic; | 38 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.PartialInterpretation2Logic; |
39 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | 39 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; |
40 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.statecoder.NeighbourhoodBasedPartialInterpretationStateCoder; | ||
40 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretationVisualisation; | 41 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretationVisualisation; |
41 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretationVisualiser; | 42 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretationVisualiser; |
42 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethod; | 43 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethod; |
@@ -304,6 +305,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
304 | 305 | ||
305 | public List<String> times = new LinkedList<String>(); | 306 | public List<String> times = new LinkedList<String>(); |
306 | private void saveTimes() { | 307 | private void saveTimes() { |
308 | long statecoderTime = ((NeighbourhoodBasedPartialInterpretationStateCoder)this.context.getStateCoder()).getStatecoderRuntime()/1000000; | ||
307 | long forwardTime = context.getDesignSpaceManager().getForwardTime()/1000000; | 309 | long forwardTime = context.getDesignSpaceManager().getForwardTime()/1000000; |
308 | long backtrackingTime = context.getDesignSpaceManager().getBacktrackingTime()/1000000; | 310 | long backtrackingTime = context.getDesignSpaceManager().getBacktrackingTime()/1000000; |
309 | long activationSelection = this.activationSelector.getRuntime()/1000000; | 311 | long activationSelection = this.activationSelector.getRuntime()/1000000; |
@@ -314,6 +316,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
314 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; | 316 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; |
315 | this.times.add( | 317 | this.times.add( |
316 | "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime/1000000+ | 318 | "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime/1000000+ |
319 | "|StateCoderTime:"+statecoderTime+ | ||
317 | "|ForwardTime:"+forwardTime+ | 320 | "|ForwardTime:"+forwardTime+ |
318 | "|Backtrackingtime:"+backtrackingTime+ | 321 | "|Backtrackingtime:"+backtrackingTime+ |
319 | "|GlobalConstraintEvaluationTime:"+(globalConstraintEvaluationTime/1000000)+ | 322 | "|GlobalConstraintEvaluationTime:"+(globalConstraintEvaluationTime/1000000)+ |