
draw_visualization(+Handle, +Options)

   Log the current state of the constraint system

Arguments
   Handle              an opaque data structure for the visualization
   Options             a list of option:value pairs

Type
   library(visualization)

Description
This predicate is used to explicitely log the state of the constraint systems for visualization, i.e. create a visualisation time point. It is used by the application programmer to show the effect of some setup steps, before the search is started. It is also called automatically by the tree logging predicates, so that a user rarely needs to call it inside a search routine.

Examples
   top(N,L):-
    length(L,N),
    L :: 1..N,
    alldifferent(L),
    create_visualization([],Handle),
    add_visualizer(Handle,vector(L),[]),
    draw_visualization(Handle,[]),
    close_visualization(Handle).


See Also
   visualize_tree : root / 1, visualize_tree : solution / 1, visualize_tree : try / 4, visualize_tree : failure / 4, visualize_tree : tree_indomain / 3, draw_visualization / 1
