
number_variables(+Handle, +L, -Terms)

   Create a list of terms for a search routine, numbering the variables

Arguments
   Handle              a handle to an opaque data structure for the viualization
   L                   a list of variables to be assigned
   Terms               a variable, will be unified to a list of terms

Type
   library(visualize_tree)

Description
This predicate is used to number the variables before the search, so that the visualizer knows at each step which variable is currently assigned.

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(Handle,_),complete,[]),
    solution(Handle),
    close_visualization(Handle).


See Also
   number_variables / 4, name_variables / 4
