org.sat4j.sat.visu
Class PointPainterPlus

java.lang.Object
  extended by info.monitorenter.gui.chart.pointpainters.APointPainter<PointPainterPlus>
      extended by 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


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.