diff options
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.java | 3 |
1 files changed, 2 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 710996a9..5869889d 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 | |||
@@ -308,7 +308,8 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
308 | long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000; | 308 | long numericalSolverSolving = this.numericSolver.getSolverSolvingProblem()/1000000; |
309 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; | 309 | long numericalSolverInterpreting = this.numericSolver.getSolverSolution()/1000000; |
310 | this.times.add( | 310 | this.times.add( |
311 | "(StateCoderTime:"+statecoderTime+ | 311 | "(TransformationExecutionTime"+method.getStatistics().transformationExecutionTime+ |
312 | "|StateCoderTime:"+statecoderTime+ | ||
312 | "|SolutionCopyTime:"+solutionCopy+ | 313 | "|SolutionCopyTime:"+solutionCopy+ |
313 | "|ActivationSelectionTime:"+activationSelection+ | 314 | "|ActivationSelectionTime:"+activationSelection+ |
314 | "|NumericalSolverSumTime:"+numericalSolverSumTime+ | 315 | "|NumericalSolverSumTime:"+numericalSolverSumTime+ |