diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-13 16:34:19 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-13 16:34:19 +0200 |
| commit | 22404c4023785c3f8922cccfbefc7bc9ac1e1a30 (patch) | |
| tree | ed0052356a7307007fca402c07171b6b724e5a4e /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme | |
| parent | Adjust measurement setup. TaxationWithRoot support. JAR creation (diff) | |
| download | VIATRA-Generator-22404c4023785c3f8922cccfbefc7bc9ac1e1a30.tar.gz VIATRA-Generator-22404c4023785c3f8922cccfbefc7bc9ac1e1a30.tar.zst VIATRA-Generator-22404c4023785c3f8922cccfbefc7bc9ac1e1a30.zip | |
upper limit is soft
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend index df38337e..0acae00f 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | |||
| @@ -75,7 +75,8 @@ class ScopePropagator { | |||
| 75 | if(this.partialInterpretation.maxNewElements > 0) { | 75 | if(this.partialInterpretation.maxNewElements > 0) { |
| 76 | this.partialInterpretation.maxNewElements = this.partialInterpretation.maxNewElements-1 | 76 | this.partialInterpretation.maxNewElements = this.partialInterpretation.maxNewElements-1 |
| 77 | } else if(this.partialInterpretation.maxNewElements === 0) { | 77 | } else if(this.partialInterpretation.maxNewElements === 0) { |
| 78 | throw new IllegalArgumentException('''Inconsistent object creation: lower node limit is 0!''') | 78 | this.partialInterpretation.maxNewElements = 0 |
| 79 | //throw new IllegalArgumentException('''Inconsistent object creation: lower node limit is 0!''') | ||
| 79 | } | 80 | } |
| 80 | 81 | ||
| 81 | // subScopes.get(targetScope).forEach[propagateUpperLimitDown(it,targetScope)] | 82 | // subScopes.get(targetScope).forEach[propagateUpperLimitDown(it,targetScope)] |