diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner')
2 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend index 7ef7073a..99da4389 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |||
@@ -131,7 +131,7 @@ class ViatraReasoner extends LogicReasoner{ | |||
131 | viatraConfig.progressMonitor.workedSearchFinished | 131 | viatraConfig.progressMonitor.workedSearchFinished |
132 | 132 | ||
133 | //find trajectory to each solution | 133 | //find trajectory to each solution |
134 | if(viatraConfig.documentationLevel == DocumentationLevel.METRICS){ | 134 | if(viatraConfig.documentationLevel == DocumentationLevel.NONE){ |
135 | PartialInterpretationMetric.outputTrajectories(emptySolutionCopy, dse.solutions.toList()); | 135 | PartialInterpretationMetric.outputTrajectories(emptySolutionCopy, dse.solutions.toList()); |
136 | } | 136 | } |
137 | 137 | ||
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 21efd7ba..6f581d34 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 | |||
@@ -315,7 +315,7 @@ public class BestFirstStrategyForModelGeneration implements IStrategy { | |||
315 | } | 315 | } |
316 | 316 | ||
317 | private void logCurrentStateMetric() { | 317 | private void logCurrentStateMetric() { |
318 | if(this.configuration.documentationLevel != DocumentationLevel.METRICS || workspace == null) { | 318 | if(this.configuration.documentationLevel != DocumentationLevel.NONE || workspace == null) { |
319 | return; | 319 | return; |
320 | } | 320 | } |
321 | 321 | ||