From c5caa9d311225ee0b88fc350ae48c68684b5de11 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 11 Jan 2023 17:22:38 +0100 Subject: [PATCH] ADDED: sign/1 is now reifiable. This addresses #1500. --- src/lib/clpz.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 207499b2..4871851b 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -3542,6 +3542,7 @@ parse_reified(E, R, D, m(msb(A)) => [function(D,msb,A,R)], m(lsb(A)) => [function(D,lsb,A,R)], m(popcount(A)) => [function(D,popcount,A,R)], + m(sign(A)) => [function(D,sign,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