diff options
| author |  20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:41:23 -0400 |
|---|---|---|
| committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:41:23 -0400 |
| commit | 18767ac9962932a496833c5971d3157e468c172e (patch) | |
| tree | 3b257ef4f83c77be1c3f6158d266ad59af35d3f5 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |
| parent | modify generation to log metrics measurements (diff) | |
| download | VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.gz VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.zst VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.zip | |
fix the null pointer error when trying reproducing the generation procedure
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 | 2 |
1 files changed, 1 insertions, 1 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 | ||