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 | |
| 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')
| -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 |