diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 19:22:16 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 19:22:16 +0200 |
| commit | a2ba6b5addbc82a635af4f90195581c08f9913c0 (patch) | |
| tree | 00f60f337c3e3ead27b91e94b57c6958888bea8c /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src | |
| parent | viatra parsing fixes (diff) | |
| download | VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.tar.gz VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.tar.zst VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.zip | |
multiple object additions fixes
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src')
| -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 bdc48b8d..1e623823 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 | |||
| @@ -77,6 +77,7 @@ class ViatraReasoner extends LogicReasoner{ | |||
| 77 | scopePropagator, | 77 | scopePropagator, |
| 78 | viatraConfig.documentationLevel | 78 | viatraConfig.documentationLevel |
| 79 | ) | 79 | ) |
| 80 | println("parsed") | ||
| 80 | 81 | ||
| 81 | dse.addObjective(new ModelGenerationCompositeObjective( | 82 | dse.addObjective(new ModelGenerationCompositeObjective( |
| 82 | new ScopeObjective, | 83 | new ScopeObjective, |