From f02cd0ad3c3303077142b534c32117ea38602052 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 14 Aug 2023 17:54:18 +0200 Subject: [PATCH] ENHANCED: domain error in zcompare/3 (#1723) --- src/lib/clpz.pl | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index ed01f079..2d991af6 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -7488,9 +7488,15 @@ zcompare(Order, A, B) :- propagator_init_trigger([A,B], pzcompare(Order, A, B)) ). -zcompare_(=, A, B) :- #A #= #B. -zcompare_(<, A, B) :- #A #< #B. -zcompare_(>, A, B) :- #A #> #B. +zcompare_(O, A, B) :- + ( member(O, "<=>") -> true + ; domain_error(order, O, zcompare/3) + ), + zcompare__(O, A, B). + +zcompare__(=, A, B) :- #A #= #B. +zcompare__(<, A, B) :- #A #< #B. +zcompare__(>, A, B) :- #A #> #B. %% chain(+Relation, +Zs) % -- 2.54.0