[ library(visualization) | Reference Manual | Alphabetic Index ]
Log the current state of the constraint system
- an opaque data structure for the visualization
- a list of option:value pairs
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.
L :: 1..N,
visualize_tree : root / 1, visualize_tree : solution / 1, visualize_tree : try / 4, visualize_tree : failure / 4, visualize_tree : tree_indomain / 3, draw_visualization / 1