diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 1 |
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 | ||