From 3016134a4e49fdbbde62c96660e35297f5a5de96 Mon Sep 17 00:00:00 2001 From: 20001LastOrder Date: Wed, 29 May 2019 10:36:18 -0400 Subject: fix the metric calculation could mix edge types and constraints --- .../bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 1 + 1 file changed, 1 insertion(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend') 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{ //find trajectory to each solution if(viatraConfig.documentationLevel == DocumentationLevel.NONE){ + PartialInterpretationMetric.initPaths(); PartialInterpretationMetric.outputTrajectories(emptySolutionCopy, dse.solutions.toList()); } -- cgit v1.2.3-54-g00ecf