[ library(visualize_tree) | Reference Manual | Alphabetic Index ]

failure(+Handle, ++Name, ++Size, ++Value)

Create a fail node for the search tree
an opaque data structure for the visualization
atomic value, the name of the variable to be assigned
an integer, the size of the domain of the variable being assigned
an integer, the value assigned to the variable


This is an interface that should only be used by experienced programmers creating their own search routines. It creates a failure node in the search tree, marking that the assignment of a value for a variable has failed. The different versions of tree_indomain/3 automatically call this predicate on failure of an assignment, so that users should only have to call it if their search routine can not be expressed with those primitives. This predicate does not call draw_visualization/1.


See Also

root / 1, solution / 1, try / 4