aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend1
1 files changed, 1 insertions, 0 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 99da4389..92aefb56 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
@@ -132,6 +132,7 @@ class ViatraReasoner extends LogicReasoner{
132 132
133 //find trajectory to each solution 133 //find trajectory to each solution
134 if(viatraConfig.documentationLevel == DocumentationLevel.NONE){ 134 if(viatraConfig.documentationLevel == DocumentationLevel.NONE){
135 PartialInterpretationMetric.initPaths();
135 PartialInterpretationMetric.outputTrajectories(emptySolutionCopy, dse.solutions.toList()); 136 PartialInterpretationMetric.outputTrajectories(emptySolutionCopy, dse.solutions.toList());
136 } 137 }
137 138