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

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

Create a try 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 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.


See Also

root / 1, solution / 1, failure / 4