|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttrace.Visualization
public class Visualization
A class to produce log files of a problem resolution.
It creates 3 files:
- configuration.xml
- tree.xml
- visualization.xml
respecting the log formats defined by Helmut Simonis.
These files are created at the root directory of the project (see logback.xml for more details).
These files can be treaten with cpviz
Visualization
.
This object provides 3 main services:createTree()
: declare the tree search visualizercreateViz()
: declare the constraint and variable visualizers containeraddVisualizer(Visualizervisualizer)
: add a visualizer to the containerclose()
: close the log files
Field Summary | |
---|---|
int |
trace_tools
|
Constructor Summary | |
---|---|
Visualization(Solver solver,
String dir)
Build a new instance of Visualization . |
|
Visualization(String pbname,
Solver solver,
String dir)
Build a new instance of Visualization . |
Method Summary | |
---|---|
void |
addVisualizer(Visualizer visualizer)
Add a constraint/variable visualizer to the container |
void |
close()
Close the log files |
void |
createTree()
Declare the tree search visualization, with default construction parameters. |
void |
createTree(String type,
String display,
String repeat,
int width,
int height)
Declare the tree search visualization. |
void |
createViz()
Declare the constraint and variable visualizers container, with default construction parameters. |
void |
createViz(String type,
String display,
String repeat,
int width,
int height)
Declare the constraint and variable visualizers container. |
protected void |
init()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int trace_tools
Constructor Detail |
---|
public Visualization(Solver solver, String dir)
Visualization
.
solver
- associated solverdir
- output directorypublic Visualization(String pbname, Solver solver, String dir)
Visualization
.
pbname
- name of the treated problem (suffix of log files)solver
- associated solverdir
- output directoryMethod Detail |
---|
public void createTree(String type, String display, String repeat, int width, int height)
type
- "layout", "graph" or "values"display
- "compact" or "expanded"repeat
- "all", "final", "i" or "-i"width
- width of SVG canvas in screen pixelsheight
- height of SVG canvas in screen pixelspublic void createTree()
public void createViz(String type, String display, String repeat, int width, int height)
type
- "layout"display
- "compact" or "expanded"repeat
- "all", "final", "i" or "-i"width
- width of SVG canvas in screen pixelsheight
- height of SVG canvas in screen pixelspublic void createViz()
public void addVisualizer(Visualizer visualizer)
visualizer
- the visualizer to addpublic void close()
protected void init()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |