diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:38:39 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-12 02:38:39 +0200 |
commit | 411e1190ccb5d4b44c6597e3b4cfe8c40fe5ee6b (patch) | |
tree | dfa549a2d7fc4a4230fb205e298ee31b50398a0b /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu | |
parent | advanced goal heuristics for missing containment and non-cont. edges (diff) | |
download | VIATRA-Generator-411e1190ccb5d4b44c6597e3b4cfe8c40fe5ee6b.tar.gz VIATRA-Generator-411e1190ccb5d4b44c6597e3b4cfe8c40fe5ee6b.tar.zst VIATRA-Generator-411e1190ccb5d4b44c6597e3b4cfe8c40fe5ee6b.zip |
Missed containment indexer
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedMultiplicityObjective.xtend | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedMultiplicityObjective.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedMultiplicityObjective.xtend index aad9a448..2b0807d6 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedMultiplicityObjective.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/UnfinishedMultiplicityObjective.xtend | |||
@@ -34,4 +34,7 @@ class UnfinishedMultiplicityObjective implements IObjective { | |||
34 | override setLevel(int level) { | 34 | override setLevel(int level) { |
35 | throw new UnsupportedOperationException("TODO: auto-generated method stub") | 35 | throw new UnsupportedOperationException("TODO: auto-generated method stub") |
36 | } | 36 | } |
37 | def isContainment() { | ||
38 | return this.unfinishedMultiplicity.containment | ||
39 | } | ||
37 | } \ No newline at end of file | 40 | } \ No newline at end of file |