[ 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