From 87abcd6a5252ff809d6b598677006786046df754 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Fri, 5 Mar 2021 18:16:38 +0100 Subject: [PATCH] adapt comment to Scryer Prolog --- src/lib/clpb.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl index 75a38282..add580ff 100644 --- a/src/lib/clpb.pl +++ b/src/lib/clpb.pl @@ -1517,8 +1517,8 @@ pairs_([], _) --> []. pairs_([B|Bs], A) --> [A-B], pairs_(Bs, A). /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Set the Prolog flag clpb_residuals to bdd to obtain the BDD nodes - as residuals. Note that they cannot be used as regular goals. + Assert clpb:clpb_residuals(bdd) to obtain the BDD nodes as + residuals. Note that they cannot be used as regular goals. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ nodes([]) --> []. -- 2.54.0