From 94a7e721fba3c3bf6bcda75cde474e21c5afdf39 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 9 May 2019 09:28:40 -0400 Subject: Fix interval join --- .../inf/dslreasoner/viatrasolver/logic2viatra/interval/Interval.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') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/Interval.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/Interval.xtend index 93749767..6ea96866 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/Interval.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/interval/Interval.xtend @@ -190,7 +190,7 @@ abstract class Interval { override join(Interval other) { switch (other) { case EMPTY: this - NonEmpty: new NonEmpty(lower.tryMin(other.lower), upper.tryMin(other.upper)) + NonEmpty: new NonEmpty(lower.tryMin(other.lower), upper.tryMax(other.upper)) default: throw new IllegalArgumentException("") } } -- cgit v1.2.3-54-g00ecf