diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-19 22:38:21 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-19 22:38:21 +0200 |
commit | fd2fa1e12353b5cf905358d1446d6469ac04be72 (patch) | |
tree | 1969da2a4e739435340dc5d74fbd8a428f3c0a88 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.tar.gz VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.tar.zst VIATRA-Generator-fd2fa1e12353b5cf905358d1446d6469ac04be72.zip |
option to calculate object creation costs in fitness
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 df3ccee5..0bd8c50e 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 | |||
@@ -75,7 +75,8 @@ class ViatraReasoner extends LogicReasoner{ | |||
75 | viatraConfig.nameNewElements, | 75 | viatraConfig.nameNewElements, |
76 | viatraConfig.typeInferenceMethod, | 76 | viatraConfig.typeInferenceMethod, |
77 | scopePropagator, | 77 | scopePropagator, |
78 | viatraConfig.documentationLevel | 78 | viatraConfig.documentationLevel, |
79 | viatraConfig.calculateObjectCreationCosts | ||
79 | ) | 80 | ) |
80 | //println("parsed") | 81 | //println("parsed") |
81 | 82 | ||