From a1b71f04406ad044834ea1fa573a548abc837f0f Mon Sep 17 00:00:00 2001 From: notoria Date: Sat, 14 Oct 2023 16:11:59 +0200 Subject: [PATCH] Trigger propagator for sign/1 --- src/lib/clpz.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 705ffeb7..add0f356 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -3586,7 +3586,7 @@ parse_reified(E, R, D, m(msb(A)) => [g(#A#>0) ,function(D,msb,A,R)], m(lsb(A)) => [g(#A#>0), function(D,lsb,A,R)], m(popcount(A)) => [function(D,popcount,A,R)], - m(sign(A)) => [function(D,sign,A,R)], + m(sign(A)) => [d(D), p(psign(A, R)), a(A,R)], m(A< [function(D,<<,A,B,R)], m(A>>B) => [function(D,>>,A,B,R)], m(A/\B) => [function(D,/\,A,B,R)], -- 2.54.0