From f2d0bc1f4f486b1d90d483c58472432f2cbce239 Mon Sep 17 00:00:00 2001 From: surynek Date: Wed, 12 Feb 2025 17:59:34 +0100 Subject: [PATCH] Bug fix in temporal scheduling constraint for object instances (object gluing). --- src/libseqarrange/src/seq_sequential.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/libseqarrange/src/seq_sequential.cpp b/src/libseqarrange/src/seq_sequential.cpp index 54849e19b6..3a35bd6776 100644 --- a/src/libseqarrange/src/seq_sequential.cpp +++ b/src/libseqarrange/src/seq_sequential.cpp @@ -558,7 +558,7 @@ void introduce_ConsequentialTemporalLepoxAgainstFixed(z3::solver for (unsigned int j = 0; j < undecided.size(); ++j) { Solver.add( Context.real_val(dec_values_T[fixed[i]].numerator, dec_values_T[fixed[i]].denominator) > dec_vars_T[undecided[j]] + temporal_spread - || Context.real_val(dec_values_T[next_i].numerator, dec_values_T[next_i].denominator) < dec_vars_T[undecided[j]] + temporal_spread); + || Context.real_val(dec_values_T[next_i].numerator, dec_values_T[next_i].denominator) + temporal_spread < dec_vars_T[undecided[j]]); } } }