[ library(visualize_tree) | Reference Manual | Alphabetic Index ]
try(+Handle, ++Name, ++Size, ++Value)
Create a try 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 try node in the search tree, marking that the assignment of a value for a variable has succeeded. The different versions of tree_indomain/3 automatically call this predicate, 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, failure / 4