From 182afe3b7de119d8ccd65bd5522ed14c4db4cb37 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Fri, 8 Sep 2023 22:33:55 +0200 Subject: [PATCH] update comment --- src/lib/clpz.pl | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index d560f675..f438043d 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -2142,16 +2142,17 @@ fds_sespsize([V|Vs], S0, S) :- fds_sespsize(Vs, S2, S). /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Optimisation uses destructive assignment to save the computed - extremum over backtracking. Failure is used to get rid of copies of - attributed variables that are created in intermediate steps. At - least that's the intention - it currently doesn't work in SWI: + Optimisation uses the clause database to save the computed extremum + over backtracking. Failure is used to get rid of copies of + attributed variables that are created in intermediate steps. - %?- X in 0..3, call_residue_vars(labeling([min(X)], [X]), Vs). - %@ X = 0, - %@ Vs = [_G6174, _G6177], - %@ _G6174 in 0..3 + Example: + ?- X in 1..3, call_residue_vars(labeling([min(X)], [X]), Vs). + %@ X = 1, Vs = [] + %@ ; X = 2, Vs = [] + %@ ; X = 3, Vs = [] + %@ ; false. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ :- dynamic(extremum/1). -- 2.54.0