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

   Create a fail node for the search tree

Arguments
   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

Type
   library(visualize_tree)

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
