org.sat4j.sat.visu

Class TraceComposite

java.lang.Object

org.sat4j.sat.visu.TraceComposite

All Implemented Interfaces:

info.monitorenter.gui.chart.ITrace2D, PropertyChangeListener, Serializable, Comparable<info.monitorenter.gui.chart.ITrace2D>, EventListener

public class TraceComposite
extends Object
implements info.monitorenter.gui.chart.ITrace2D

Every time a point is added to this trace, it is also added to the cloneTrace

Author:

stephanieroussel

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface info.monitorenter.gui.chart.ITrace2D

info.monitorenter.gui.chart.ITrace2D.DistancePoint

Field Summary

Fields inherited from interface info.monitorenter.gui.chart.ITrace2D

PROPERTY_COLOR, PROPERTY_ERRORBARPOLICY, PROPERTY_ERRORBARPOLICY_CONFIGURATION, PROPERTY_LABEL, PROPERTY_MAX_X, PROPERTY_MAX_Y, PROPERTY_MIN_X, PROPERTY_MIN_Y, PROPERTY_NAME, PROPERTY_PAINTERS, PROPERTY_PHYSICALUNITS, PROPERTY_POINT_CHANGED, PROPERTY_POINT_HIGHLIGHTERS_CHANGED, PROPERTY_STROKE, PROPERTY_TRACEPOINT, PROPERTY_VISIBLE, PROPERTY_ZINDEX, Z_INDEX_MIN, ZINDEX_MAX

Constructor Summary

Constructors

Constructor and Description
TraceComposite(info.monitorenter.gui.chart.ITrace2D... traces)
TraceComposite(List<info.monitorenter.gui.chart.ITrace2D> traces)

Method Summary

Methods

Modifier and Type	Method and Description
void	addComputingTrace(info.monitorenter.gui.chart.ITrace2D arg0)
boolean	addErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)
boolean	addPoint(double x, double y)
boolean	addPoint(info.monitorenter.gui.chart.ITracePoint2D arg0)
boolean	addPointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)
void	addPropertyChangeListener(String arg0, PropertyChangeListener arg1)
boolean	addTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)
int	compareTo(info.monitorenter.gui.chart.ITrace2D o)
boolean	containsTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)
boolean	equals(Object o)
void	firePointChanged(info.monitorenter.gui.chart.ITracePoint2D arg0, int arg1)
Color	getColor()
Set<info.monitorenter.gui.chart.IErrorBarPolicy<?>>	getErrorBarPolicies()
boolean	getHasErrorBars()
String	getLabel()
int	getMaxSize()
double	getMaxX()
double	getMaxY()
double	getMinX()
double	getMinY()
String	getName()
info.monitorenter.gui.chart.ITrace2D.DistancePoint	getNearestPointEuclid(double arg0, double arg1)
info.monitorenter.gui.chart.ITrace2D.DistancePoint	getNearestPointManhattan(double arg0, double arg1)
String	getPhysicalUnits()
String	getPhysicalUnitsX()
String	getPhysicalUnitsY()
Set<info.monitorenter.gui.chart.IPointPainter<?>>	getPointHighlighters()
PropertyChangeListener[]	getPropertyChangeListeners(String arg0)
info.monitorenter.gui.chart.Chart2D	getRenderer()
int	getSize()
Stroke	getStroke()
Set<info.monitorenter.gui.chart.ITracePainter<?>>	getTracePainters()
List<info.monitorenter.gui.chart.ITrace2D>	getTraces()
Integer	getZIndex()
int	hashCode()
boolean	isEmpty()
boolean	isVisible()
Iterator<info.monitorenter.gui.chart.ITracePoint2D>	iterator()
void	propertyChange(PropertyChangeEvent evt)
Set<info.monitorenter.gui.chart.IPointPainter<?>>	removeAllPointHighlighters()
void	removeAllPoints()
boolean	removeComputingTrace(info.monitorenter.gui.chart.ITrace2D arg0)
boolean	removeErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)
boolean	removePoint(info.monitorenter.gui.chart.ITracePoint2D arg0)
boolean	removePointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)
void	removePropertyChangeListener(PropertyChangeListener arg0)
void	removePropertyChangeListener(String arg0, PropertyChangeListener arg1)
boolean	removeTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)
void	setColor(Color arg0)
Set<info.monitorenter.gui.chart.IErrorBarPolicy<?>>	setErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)
void	setName(String arg0)
void	setPhysicalUnits(String arg0, String arg1)
Set<info.monitorenter.gui.chart.IPointPainter<?>>	setPointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)
void	setRenderer(info.monitorenter.gui.chart.Chart2D arg0)
void	setStroke(Stroke arg0)
Set<info.monitorenter.gui.chart.ITracePainter<?>>	setTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)
void	setVisible(boolean arg0)
void	setZIndex(Integer arg0)
boolean	showsErrorBars()
boolean	showsNegativeXErrorBars()
boolean	showsNegativeYErrorBars()
boolean	showsPositiveXErrorBars()
boolean	showsPositiveYErrorBars()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TraceComposite

public TraceComposite(List<info.monitorenter.gui.chart.ITrace2D> traces)

TraceComposite

public TraceComposite(info.monitorenter.gui.chart.ITrace2D... traces)

Method Detail

getTraces

public List<info.monitorenter.gui.chart.ITrace2D> getTraces()

addPoint

public boolean addPoint(info.monitorenter.gui.chart.ITracePoint2D arg0)

Specified by:

addPoint in interface info.monitorenter.gui.chart.ITrace2D

addPoint

public boolean addPoint(double x,
               double y)

Specified by:

addPoint in interface info.monitorenter.gui.chart.ITrace2D

propertyChange

public void propertyChange(PropertyChangeEvent evt)

Specified by:

propertyChange in interface PropertyChangeListener

compareTo

public int compareTo(info.monitorenter.gui.chart.ITrace2D o)

Specified by:

compareTo in interface Comparable<info.monitorenter.gui.chart.ITrace2D>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

addComputingTrace

public void addComputingTrace(info.monitorenter.gui.chart.ITrace2D arg0)

Specified by:

addComputingTrace in interface info.monitorenter.gui.chart.ITrace2D

addErrorBarPolicy

public boolean addErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)

Specified by:

addErrorBarPolicy in interface info.monitorenter.gui.chart.ITrace2D

addPointHighlighter

public boolean addPointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)

Specified by:

addPointHighlighter in interface info.monitorenter.gui.chart.ITrace2D

addPropertyChangeListener

public void addPropertyChangeListener(String arg0,
                             PropertyChangeListener arg1)

Specified by:

addPropertyChangeListener in interface info.monitorenter.gui.chart.ITrace2D

addTracePainter

public boolean addTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)

Specified by:

addTracePainter in interface info.monitorenter.gui.chart.ITrace2D

containsTracePainter

public boolean containsTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)

Specified by:

containsTracePainter in interface info.monitorenter.gui.chart.ITrace2D

firePointChanged

public void firePointChanged(info.monitorenter.gui.chart.ITracePoint2D arg0,
                    int arg1)

Specified by:

firePointChanged in interface info.monitorenter.gui.chart.ITrace2D

getColor

public Color getColor()

Specified by:

getColor in interface info.monitorenter.gui.chart.ITrace2D

getErrorBarPolicies

public Set<info.monitorenter.gui.chart.IErrorBarPolicy<?>> getErrorBarPolicies()

Specified by:

getErrorBarPolicies in interface info.monitorenter.gui.chart.ITrace2D

getHasErrorBars

public boolean getHasErrorBars()

Specified by:

getHasErrorBars in interface info.monitorenter.gui.chart.ITrace2D

getLabel

public String getLabel()

Specified by:

getLabel in interface info.monitorenter.gui.chart.ITrace2D

getMaxSize

public int getMaxSize()

Specified by:

getMaxSize in interface info.monitorenter.gui.chart.ITrace2D

getMaxX

public double getMaxX()

Specified by:

getMaxX in interface info.monitorenter.gui.chart.ITrace2D

getMaxY

public double getMaxY()

Specified by:

getMaxY in interface info.monitorenter.gui.chart.ITrace2D

getMinX

public double getMinX()

Specified by:

getMinX in interface info.monitorenter.gui.chart.ITrace2D

getMinY

public double getMinY()

Specified by:

getMinY in interface info.monitorenter.gui.chart.ITrace2D

getName

public String getName()

Specified by:

getName in interface info.monitorenter.gui.chart.ITrace2D

getNearestPointEuclid

public info.monitorenter.gui.chart.ITrace2D.DistancePoint getNearestPointEuclid(double arg0,
                                                                       double arg1)

Specified by:

getNearestPointEuclid in interface info.monitorenter.gui.chart.ITrace2D

getNearestPointManhattan

public info.monitorenter.gui.chart.ITrace2D.DistancePoint getNearestPointManhattan(double arg0,
                                                                          double arg1)

Specified by:

getNearestPointManhattan in interface info.monitorenter.gui.chart.ITrace2D

getPhysicalUnits

public String getPhysicalUnits()

Specified by:

getPhysicalUnits in interface info.monitorenter.gui.chart.ITrace2D

getPhysicalUnitsX

public String getPhysicalUnitsX()

Specified by:

getPhysicalUnitsX in interface info.monitorenter.gui.chart.ITrace2D

getPhysicalUnitsY

public String getPhysicalUnitsY()

Specified by:

getPhysicalUnitsY in interface info.monitorenter.gui.chart.ITrace2D

getPointHighlighters

public Set<info.monitorenter.gui.chart.IPointPainter<?>> getPointHighlighters()

Specified by:

getPointHighlighters in interface info.monitorenter.gui.chart.ITrace2D

getPropertyChangeListeners

public PropertyChangeListener[] getPropertyChangeListeners(String arg0)

Specified by:

getPropertyChangeListeners in interface info.monitorenter.gui.chart.ITrace2D

getRenderer

public info.monitorenter.gui.chart.Chart2D getRenderer()

Specified by:

getRenderer in interface info.monitorenter.gui.chart.ITrace2D

getSize

public int getSize()

Specified by:

getSize in interface info.monitorenter.gui.chart.ITrace2D

getStroke

public Stroke getStroke()

Specified by:

getStroke in interface info.monitorenter.gui.chart.ITrace2D

getTracePainters

public Set<info.monitorenter.gui.chart.ITracePainter<?>> getTracePainters()

Specified by:

getTracePainters in interface info.monitorenter.gui.chart.ITrace2D

getZIndex

public Integer getZIndex()

Specified by:

getZIndex in interface info.monitorenter.gui.chart.ITrace2D

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface info.monitorenter.gui.chart.ITrace2D

isVisible

public boolean isVisible()

Specified by:

isVisible in interface info.monitorenter.gui.chart.ITrace2D

iterator

public Iterator<info.monitorenter.gui.chart.ITracePoint2D> iterator()

Specified by:

iterator in interface info.monitorenter.gui.chart.ITrace2D

removeAllPointHighlighters

public Set<info.monitorenter.gui.chart.IPointPainter<?>> removeAllPointHighlighters()

Specified by:

removeAllPointHighlighters in interface info.monitorenter.gui.chart.ITrace2D

removeAllPoints

public void removeAllPoints()

Specified by:

removeAllPoints in interface info.monitorenter.gui.chart.ITrace2D

removeComputingTrace

public boolean removeComputingTrace(info.monitorenter.gui.chart.ITrace2D arg0)

Specified by:

removeComputingTrace in interface info.monitorenter.gui.chart.ITrace2D

removeErrorBarPolicy

public boolean removeErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)

Specified by:

removeErrorBarPolicy in interface info.monitorenter.gui.chart.ITrace2D

removePoint

public boolean removePoint(info.monitorenter.gui.chart.ITracePoint2D arg0)

Specified by:

removePoint in interface info.monitorenter.gui.chart.ITrace2D

removePointHighlighter

public boolean removePointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)

Specified by:

removePointHighlighter in interface info.monitorenter.gui.chart.ITrace2D

removePropertyChangeListener

public void removePropertyChangeListener(PropertyChangeListener arg0)

Specified by:

removePropertyChangeListener in interface info.monitorenter.gui.chart.ITrace2D

removePropertyChangeListener

public void removePropertyChangeListener(String arg0,
                                PropertyChangeListener arg1)

Specified by:

removePropertyChangeListener in interface info.monitorenter.gui.chart.ITrace2D

removeTracePainter

public boolean removeTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)

Specified by:

removeTracePainter in interface info.monitorenter.gui.chart.ITrace2D

setColor

public void setColor(Color arg0)

Specified by:

setColor in interface info.monitorenter.gui.chart.ITrace2D

setErrorBarPolicy

public Set<info.monitorenter.gui.chart.IErrorBarPolicy<?>> setErrorBarPolicy(info.monitorenter.gui.chart.IErrorBarPolicy<?> arg0)

Specified by:

setErrorBarPolicy in interface info.monitorenter.gui.chart.ITrace2D

setName

public void setName(String arg0)

Specified by:

setName in interface info.monitorenter.gui.chart.ITrace2D

setPhysicalUnits

public void setPhysicalUnits(String arg0,
                    String arg1)

Specified by:

setPhysicalUnits in interface info.monitorenter.gui.chart.ITrace2D

setPointHighlighter

public Set<info.monitorenter.gui.chart.IPointPainter<?>> setPointHighlighter(info.monitorenter.gui.chart.IPointPainter<?> arg0)

Specified by:

setPointHighlighter in interface info.monitorenter.gui.chart.ITrace2D

setRenderer

public void setRenderer(info.monitorenter.gui.chart.Chart2D arg0)

Specified by:

setRenderer in interface info.monitorenter.gui.chart.ITrace2D

setStroke

public void setStroke(Stroke arg0)

Specified by:

setStroke in interface info.monitorenter.gui.chart.ITrace2D

setTracePainter

public Set<info.monitorenter.gui.chart.ITracePainter<?>> setTracePainter(info.monitorenter.gui.chart.ITracePainter<?> arg0)

Specified by:

setTracePainter in interface info.monitorenter.gui.chart.ITrace2D

setVisible

public void setVisible(boolean arg0)

Specified by:

setVisible in interface info.monitorenter.gui.chart.ITrace2D

setZIndex

public void setZIndex(Integer arg0)

Specified by:

setZIndex in interface info.monitorenter.gui.chart.ITrace2D

showsErrorBars

public boolean showsErrorBars()

Specified by:

showsErrorBars in interface info.monitorenter.gui.chart.ITrace2D

showsNegativeXErrorBars

public boolean showsNegativeXErrorBars()

Specified by:

showsNegativeXErrorBars in interface info.monitorenter.gui.chart.ITrace2D

showsNegativeYErrorBars

public boolean showsNegativeYErrorBars()

Specified by:

showsNegativeYErrorBars in interface info.monitorenter.gui.chart.ITrace2D

showsPositiveXErrorBars

public boolean showsPositiveXErrorBars()

Specified by:

showsPositiveXErrorBars in interface info.monitorenter.gui.chart.ITrace2D

showsPositiveYErrorBars

public boolean showsPositiveYErrorBars()

Specified by:

showsPositiveYErrorBars in interface info.monitorenter.gui.chart.ITrace2D