org.sat4j.sat.visu

Class PointPainterCross

java.lang.Object

info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>

org.sat4j.sat.visu.PointPainterCross

All Implemented Interfaces:

info.monitorenter.gui.chart.IPointPainter<PointPainterPlus>, info.monitorenter.gui.chart.IPointPainterConfigurableUI<PointPainterPlus>, Serializable, Comparable<PointPainterPlus>

public class PointPainterCross
extends info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PointPainterCross() Creates an instance with the given cross size.
PointPainterCross(int crossSize) Creates an instance with a default cross size of 4.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	getCrossSize() Returns the size of the cross point in pixels
int	hashCode()
void	paintPoint(int absoluteX, int absoluteY, int nextX, int nextY, Graphics g, info.monitorenter.gui.chart.ITracePoint2D original)
void	setCrossSize(int crossSize) Sets the size of the cross 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

PointPainterCross

public PointPainterCross(int crossSize)

Creates an instance with a default cross size of 4.

PointPainterCross

public PointPainterCross()

Creates an instance with the given cross size.

Parameters:

crossSize - the cross size in pixel to use.

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>

See Also:

APointPainter.equals(java.lang.Object)

hashCode

public int hashCode()

Overrides:

hashCode in class info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>

See Also:

APointPainter.hashCode()

paintPoint

public void paintPoint(int absoluteX,
              int absoluteY,
              int nextX,
              int nextY,
              Graphics g,
              info.monitorenter.gui.chart.ITracePoint2D original)

See Also:

IPointPainter.paintPoint(int, int, int, int, java.awt.Graphics, info.monitorenter.gui.chart.ITracePoint2D)

getCrossSize

public int getCrossSize()

Returns the size of the cross point in pixels

Returns:

the size of the cross point in pixels

setCrossSize

public void setCrossSize(int crossSize)

Sets the size of the cross point in pixels

Parameters:

crossSize - the size of the cross point in pixels