diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-17 20:53:49 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-17 20:53:49 +0200 |
| commit | 3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb (patch) | |
| tree | 270c3f29b7d0445f9129539bb7586690767a5f6f /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |
| parent | detailed runtimes + counting defined objects only (diff) | |
| download | VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.tar.gz VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.tar.zst VIATRA-Generator-3c8c3c84b7160b26ceb6e9daf0d6638c5ec3fecb.zip | |
TransformationExecutionTime + weights can be controlled from config
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 | 3 |
1 files changed, 2 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 5df28edd..df3ccee5 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 | |||
| @@ -82,7 +82,8 @@ class ViatraReasoner extends LogicReasoner{ | |||
| 82 | dse.addObjective(new ModelGenerationCompositeObjective( | 82 | dse.addObjective(new ModelGenerationCompositeObjective( |
| 83 | new ScopeObjective, | 83 | new ScopeObjective, |
| 84 | method.unfinishedMultiplicities.map[new UnfinishedMultiplicityObjective(it)], | 84 | method.unfinishedMultiplicities.map[new UnfinishedMultiplicityObjective(it)], |
| 85 | new UnfinishedWFObjective(method.unfinishedWF) | 85 | new UnfinishedWFObjective(method.unfinishedWF), |
| 86 | viatraConfig | ||
| 86 | )) | 87 | )) |
| 87 | 88 | ||
| 88 | dse.addGlobalConstraint(wf2ObjectiveConverter.createInvalidationObjective(method.invalidWF)) | 89 | dse.addGlobalConstraint(wf2ObjectiveConverter.createInvalidationObjective(method.invalidWF)) |