From be4fbe4fb10a27dd07d4139c1962af7c0de436ea Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 22 Aug 2019 20:43:03 +0200 Subject: Measurements WIP --- .../logic2viatra/cardinality/RelationConstraintCalculator.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend index 013e53e1..c92260ea 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend @@ -44,7 +44,7 @@ class RelationMultiplicityConstraint { } def constrainsUnrepairable() { - constrainsUnfinished && canHaveMultipleSourcesPerTarget + constrainsUnfinished && canHaveMultipleSourcesPerTarget && false } def constrainsRemainingInverse() { -- cgit v1.2.3-54-g00ecf