org.sat4j.sat.visu
Class PointPainterPlus

java.lang.Object
  info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>
      org.sat4j.sat.visu.PointPainterPlus

All Implemented Interfaces:

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

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

See Also:

Serialized Form

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

PointPainterPlus

public PointPainterPlus(int plusSize)

Creates an instance with a default plus size of 4.

PointPainterPlus

public PointPainterPlus()

Creates an instance with the given plus size.

Parameters:

plusSize - the plus 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)

getPlusSize

public int getPlusSize()

Returns the size of the plus point in pixels

Returns:

the size of the plus point in pixels

setPlusSize

public void setPlusSize(int plusSize)

Sets the size of the plus point in pixels

Parameters:

plusSize - the size of the plus point in pixels