When you write your own visualizers, you might not be satisfied with the
default format of the legend. Therefore you might want to write your
own legend printer, replacing fdbg_legend/[1,2]
. This should be
quite straightforward based on the variable list returned by
fdbg_annotate/[3,4]
. Processing the rest of the action
list and writing conclusions about the constraint behavior is not
that easy though. To help your work, FDBG provides a predicate to
transform the raw action list to a more readable form:
fdbg_transform_actions(
+Actions,
+Vars,
-TransformedActions)
fdbg_annotate/[3,4]
);
exit
and/or fail
commands;
fail(
Action)
;
fdvar/3
compound
term per variable.
The transformed action list may contain the following terms:
exit
fail
fail
action
fail(
Action)
call(
Goal)
fdvar(
Name,
Var,
FDSet)
AnythingElse