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.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules | |
| 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.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend index 0e8d341a..e03a8c35 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend | |||
| @@ -19,9 +19,8 @@ import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher | |||
| 19 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* | 19 | import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.* |
| 20 | 20 | ||
| 21 | class GoalConstraintProvider { | 21 | class GoalConstraintProvider { |
| 22 | val calculateObjectCost = false | ||
| 23 | 22 | ||
| 24 | def public getUnfinishedMultiplicityQueries(LogicProblem p, GeneratedPatterns patterns) { | 23 | def public getUnfinishedMultiplicityQueries(LogicProblem p, GeneratedPatterns patterns, boolean calculateObjectCost) { |
| 25 | val res = new ArrayList() | 24 | val res = new ArrayList() |
| 26 | 25 | ||
| 27 | res.addAll(patterns.unfinishedNonContainmentMulticiplicityQueries,false) | 26 | res.addAll(patterns.unfinishedNonContainmentMulticiplicityQueries,false) |