|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttrace.Visualizer
public abstract class Visualizer
An abstract class to define a visulaizer.
this
defines a constraint and variable visualizer, and its states are logged in the visualization
xml file.
Field Summary | |
---|---|
protected String |
display
|
protected String |
group
|
protected int |
height
|
protected int |
id
|
protected int |
max
|
protected int |
min
|
protected String |
type
|
protected int |
width
|
protected static Writer |
writer
|
protected int |
x
|
protected int |
y
|
Constructor Summary | |
---|---|
protected |
Visualizer(String type,
String display,
int width,
int height)
Build a visualizer |
protected |
Visualizer(String type,
String display,
int x,
int y,
int width,
int height,
String group,
int min,
int max)
Build a visualizer |
Method Summary | |
---|---|
String |
getDisplay()
Return the display policy |
String |
getGroup()
Return the group name of this |
int |
getHeight()
Return the height of this in the visualizers window (default is 500) |
int |
getId()
Returns the identifier of this |
String |
getType()
Return the type of this |
int |
getWidth()
Return the width of this in the visualisers window (default is 500) |
protected String |
options()
|
protected abstract void |
print(org.slf4j.Logger logger,
boolean focus,
IntBranchingDecision decision)
|
void |
setGroup(String group)
Set a group name for this |
protected void |
setId(int id)
Set the identifier of this |
void |
setMinMax(int min,
int max)
Set the expected minimal (resp. maximal) value of any of the domains |
void |
setXY(int x,
int y)
Set the coordinates of this in the visualizers window (default is [0,0]) |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static Writer writer
protected int id
protected final String type
protected final String display
protected int x
protected int y
protected final int width
protected final int height
protected String group
protected int min
protected int max
Constructor Detail |
---|
protected Visualizer(String type, String display, int width, int height)
type
- type of visualizer, must be supported in both sizesdisplay
- "expanded" or "compact"width
- width of the visualizerheight
- height of the visualizerprotected Visualizer(String type, String display, int x, int y, int width, int height, String group, int min, int max)
type
- type of visualizer, must be supported in both sizesdisplay
- "expanded" or "compact"x
- coordinate of the visualizer in the x-axis (horizontal)y
- coordinate of the visualizer in the y-axis (vertical)width
- width of the visualizerheight
- height of the visualizergroup
- group name (to group multiple constraints)min
- expected minimal value of any of the domainsmax
- expected maximal value of any of the domainsMethod Detail |
---|
protected void setId(int id)
this
id
- identifierpublic int getId()
this
public void setXY(int x, int y)
this
in the visualizers window (default is [0,0])
x
- coordinate on the x-axis (horizontal)y
- coordinate on the y-axis (vertical)public void setGroup(String group)
this
group
- name of the grouppublic String getGroup()
this
public String getType()
this
public String getDisplay()
public int getWidth()
this
in the visualisers window (default is 500)
public int getHeight()
this
in the visualizers window (default is 500)
public void setMinMax(int min, int max)
min
- minimal valuemax
- maximal valueprotected String options()
protected abstract void print(org.slf4j.Logger logger, boolean focus, IntBranchingDecision decision)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |