rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1685 from triska/reify_sign

Browse Source 
ADDED: sign/1 is now reifiable.
This commit is contained in:
Mark Thom
2023-01-11 17:41:14 +01:00
committed by GitHub
parent 0c4d93f01f f213956ceb
commit 84583da5b8
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib/clpz.pl
View File

@@ -2310,7 +2310,7 @@ single_value(V, V) :- var(V), !, non_monotonic(V).
single_value(V, V) :- integer(V). single_value(V, V) :- integer(V).
single_value(?(V), V) :- fd_variable(V). single_value(?(V), V) :- fd_variable(V).
coeff_var_plusterm(C, V, T0, T0+(C* ?(V))). coeff_var_plusterm(C, V, T0, T0+(C* #V)).
coeff_int_linsum(C, I, S0, S) :- S is S0 + C*I. coeff_int_linsum(C, I, S0, S) :- S is S0 + C*I.
@@ -3542,6 +3542,7 @@ parse_reified(E, R, D,
m(msb(A)) => [function(D,msb,A,R)], m(msb(A)) => [function(D,msb,A,R)],
m(lsb(A)) => [function(D,lsb,A,R)], m(lsb(A)) => [function(D,lsb,A,R)],
m(popcount(A)) => [function(D,popcount,A,R)], m(popcount(A)) => [function(D,popcount,A,R)],
m(sign(A)) => [function(D,sign,A,R)],
m(A<<B) => [function(D,<<,A,B,R)], m(A<<B) => [function(D,<<,A,B,R)],
m(A>>B) => [function(D,>>,A,B,R)], m(A>>B) => [function(D,>>,A,B,R)],
m(A/\B) => [function(D,/\,A,B,R)], m(A/\B) => [function(D,/\,A,B,R)],