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

# draw_visualization(+Handle)

Log the current state of the constraint system

Handle
  an opaque data structure for the visualization

## Description

This predicate is used to explicitely log the state of the constraint systems for visualization. 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 / 2