|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus> org.sat4j.sat.visu.PointPainterPlus
public class PointPainterPlus
Constructor Summary | |
---|---|
PointPainterPlus()
Creates an instance with the given plus size. |
|
PointPainterPlus(int plusSize)
Creates an instance with a default plus size of 4. |
Method Summary | |
---|---|
boolean |
equals(Object obj)
|
int |
getPlusSize()
Returns the size of the plus point in pixels |
int |
hashCode()
|
void |
paintPoint(int absoluteX,
int absoluteY,
int nextX,
int nextY,
Graphics g,
info.monitorenter.gui.chart.ITracePoint2D original)
|
void |
setPlusSize(int plusSize)
Sets the size of the plus point in pixels |
Methods inherited from class info.monitorenter.gui.chart.pointpainters.APointPainter |
---|
compareTo, endPaintIteration, getColor, getColorFill, getStroke, getTransparency, getTransparencyFill, installColor, installColorFill, installStroke, setColor, setColorFill, setStroke, setTransparency, setTransparencyFill, startPaintIteration |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PointPainterPlus(int plusSize)
public PointPainterPlus()
plusSize
- the plus size in pixel to use.Method Detail |
---|
public boolean equals(Object obj)
equals
in class info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>
APointPainter.equals(java.lang.Object)
public int hashCode()
hashCode
in class info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>
APointPainter.hashCode()
public void paintPoint(int absoluteX, int absoluteY, int nextX, int nextY, Graphics g, info.monitorenter.gui.chart.ITracePoint2D original)
IPointPainter.paintPoint(int, int, int,
int, java.awt.Graphics, info.monitorenter.gui.chart.ITracePoint2D)
public int getPlusSize()
public void setPlusSize(int plusSize)
plusSize
- the size of the plus point in pixels
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |