- exec_viz(?)
- No description available
- viz(+Handle, ?ToolSpecs)
- Run the CP-Viz viz program to convert xml traces to graphics
- viztool
- Launch the CP-Viz viztool for viewing trace log visualisations. In TkECLiPSe, this can be done from the Tools menu.
- struct tool(show, type, display, repeat, width, height, fileroot)
- No description available
- reexport visualize_tree
This library loads and reexports library(visualization) and library(visualize_tree), making all features of CP-Viz available. In addition, it provides convenience predicates viz/2 and viztool/0 for executing CP-Viz's Java-based tools from within ECLiPSe.
Usage examples can be found under doc/examples/cpviz/ in your ECLiPSe installation. The document 'CP Visualizer Format' is in the doc/ directory. Further background documents on CP-Viz are http://4c.ucc.ie/~hsimonis/cpviz-cp2010-paper.pdf, http://4c.ucc.ie/~hsimonis/cpviz-cp2010-slides.pdf and the project web site is http://sourceforge.net/projects/cpviz .
The following is a code example. After running sudoku(M), launch viztool and open the file aaa.idx in the OUTPUT subdirectory.
:-lib(ic).
:-import alldifferent/1 from ic_global_gac.
:-lib(cpviz).
sudoku(Matrix):-
        problem(Matrix),
        Matrix :: 1..9,
        create_visualization([],Handle),
        add_visualizer(Handle, domain_matrix(Matrix), [display:expanded]),
        draw_visualization(Handle),
        ( for(I,1,9), param(Matrix,Handle) do
            alldifferent(Matrix[I,1..9]),
            draw_visualization(Handle,[focus(1,row(I))]),
            alldifferent(Matrix[1..9,I]),
            draw_visualization(Handle,[focus(1,col(I))])
        ),
        ( multifor([I,J],[1,1],[7,7],[3,3]), param(Matrix,Handle) do
            alldifferent(flatten(Matrix[I..I+2,J..J+2])),
            draw_visualization(Handle,[focus(1,block(I,J,3,3))])
        ),
        extract_array(Handle,row,Matrix,NamedList),
        root(Handle),
        search(NamedList,1,input_order,tree_indomain(Handle,Handle), complete,[]),
        solution(Handle),
        close_visualization(Handle),
        viz(Handle, _).
        
problem([]([](4, _, 8, _, _, _, _, _, _), 
           [](_, _, _, 1, 7, _, _, _, _), 
           [](_, _, _, _, 8, _, _, 3, 2), 
           [](_, _, 6, _, _, 8, 2, 5, _), 
           [](_, 9, _, _, _, _, _, 8, _), 
           [](_, 3, 7, 6, _, _, 9, _, _), 
           [](2, 7, _, _, 5, _, _, _, _), 
           [](_, _, _, _, 1, 4, _, _, _), 
           [](_, _, _, _, _, _, 6, _, 4))).