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

draw_visualization(+Handle, +Options)

Log the current state of the constraint system
Handle
an opaque data structure for the visualization
Options
a list of option:value pairs

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