From c6fcbe20e11954d00eff6f2ab96ea88537cdbf26 Mon Sep 17 00:00:00 2001 From: notoria Date: Sat, 14 Oct 2023 16:13:52 +0200 Subject: [PATCH] Trigger propagator for popcount/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 add0f356..ddc2ee3e 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -3585,7 +3585,7 @@ parse_reified(E, R, D, m(\A) => [function(D,\,A,R)], 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(popcount(A)) => [d(D), p(ppopcount(A, R)), a(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)], -- 2.54.0