From 26fdf83a483ac98eae92aa56f13326d1af335093 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 10 Oct 2023 19:53:26 +0200 Subject: [PATCH] update comment to reflect the used propagators --- src/lib/clpz.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 76dee8bb..2432d6b1 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -3545,9 +3545,9 @@ L #\ R :- (L #\/ R) #/\ #\ (L #/\ R). undefined, created auxiliary constraints are killed, and the "clpz" attribute is removed from auxiliary variables. - For mod/2, div/2, rem/2 etc. we create a skeleton propagator and - remember it as an auxiliary constraint. The pskeleton propagator - can use the skeleton when the constraint is defined. + For (//)/2, (mod)/2 and (rem)/2, we create a skeleton propagator + and remember it as an auxiliary constraint. The pskeleton + propagator can use the skeleton when the constraint is defined. We cannot use a skeleton propagator for (/)/2, since (/)/2 can fail in cases such as 0 #==> X #= 1/2, where we expect success. -- 2.54.0