[ library(visualize_tree) | Reference Manual | Alphabetic Index ]
failure(+Handle, ++Name, ++Size, ++Value)
Create a fail node for the search tree
- Handle
- an opaque data structure for the visualization
- Name
- atomic value, the name of the variable to be assigned
- Size
- an integer, the size of the domain of the variable being assigned
- Value
- an integer, the value assigned to the variable
Description
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.
Examples
See Also
root / 1, solution / 1, try / 4