From 22404c4023785c3f8922cccfbefc7bc9ac1e1a30 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Wed, 13 May 2020 16:34:19 +0200 Subject: upper limit is soft --- .../inf/dslreasoner/viatrasolver/logic2viatra/ScopePropagator.xtend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf') 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 { if(this.partialInterpretation.maxNewElements > 0) { this.partialInterpretation.maxNewElements = this.partialInterpretation.maxNewElements-1 } else if(this.partialInterpretation.maxNewElements === 0) { - throw new IllegalArgumentException('''Inconsistent object creation: lower node limit is 0!''') + this.partialInterpretation.maxNewElements = 0 + //throw new IllegalArgumentException('''Inconsistent object creation: lower node limit is 0!''') } // subScopes.get(targetScope).forEach[propagateUpperLimitDown(it,targetScope)] -- cgit v1.2.3-54-g00ecf