
tree_indomain_random(+Term, +Handle, ?HandleOut)

   Primitive to assign a variable while creating a search tree

Arguments
   Term                A term containing the variable to be assigned
   Handle              an opaque data structure for the visualization
   HandleOut           will be unified with the Handle argument

Type
   library(visualize_tree)

Description
This predicate should be used instead of indomain/2 when visualizing the execution. Instead of a single variable, it expects a term which describes the name and index of the variable for logging purposes.

Examples
   top(N,L):-
    length(L,N),
    L :: 1..N,
    alldifferent(L),
    create_visualization([],Handle),
    add_visualizer(Handle,vector(L),[]),
    number_variables(Handle,L,Terms),
    root(Handle),
    search(Terms,1,first_fail,
           tree_indomain_random(Handle,_),complete,[]),
    solution(Handle),
    close_visualization(Handle).


See Also
   root / 1, solution / 1, gfd_search : indomain / 2, fd_search : indomain / 2, ic : indomain / 2, tree_indomain / 3, tree_indomain_min / 3, tree_indomain_max / 3, tree_indomain_middle / 3, tree_indomain_random / 3
