diff options
| author |  20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-29 10:36:18 -0400 |
|---|---|---|
| committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-29 10:36:18 -0400 |
| commit | 3016134a4e49fdbbde62c96660e35297f5a5de96 (patch) | |
| tree | 4412e31318cadd5d2d67768b4e7e23dd2c54248f /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |
| parent | Merge branch 'Realistic-Generation-SURE' of https://github.com/viatra/VIATRA-... (diff) | |
| download | VIATRA-Generator-3016134a4e49fdbbde62c96660e35297f5a5de96.tar.gz VIATRA-Generator-3016134a4e49fdbbde62c96660e35297f5a5de96.tar.zst VIATRA-Generator-3016134a4e49fdbbde62c96660e35297f5a5de96.zip | |
fix the metric calculation could mix edge types and constraints
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend')
| -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 | ||