org.processmining.models.graphbased.directed.transitionsystem

Class State

java.lang.Object

org.processmining.models.graphbased.AbstractGraphElement

org.processmining.models.graphbased.AbstractGraphNode

org.processmining.models.graphbased.directed.AbstractDirectedGraphNode

org.processmining.models.graphbased.directed.transitionsystem.State

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraphNode>, org.processmining.models.graphbased.AttributeMapOwner, org.processmining.models.graphbased.directed.DirectedGraphElement, org.processmining.models.graphbased.directed.DirectedGraphNode, org.processmining.models.shapes.Decorated

public class State
extends org.processmining.models.graphbased.directed.AbstractDirectedGraphNode
implements org.processmining.models.shapes.Decorated

Constructor Summary

Constructors

Constructor and Description
State(java.lang.Object identifier, TransitionSystemImpl graph)

Method Summary

Methods

Modifier and Type	Method and Description
void	decorate(java.awt.Graphics2D g2d, double x, double y, double width, double height) If this state is an accepting state, then an extra line is painted in the GUI as the border of this state.
boolean	equals(java.lang.Object o)
TransitionSystemImpl	getGraph()
java.lang.Object	getIdentifier()
java.lang.String	getLabel()
int	hashCode()
boolean	isAccepting()
void	setAccepting(boolean accepting)
void	setLabel(java.lang.String label)

Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraphNode

compareTo

Methods inherited from class org.processmining.models.graphbased.AbstractGraphNode

getId

Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

getAttributeMap, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphNode

getId

Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

getAttributeMap

Constructor Detail

State

public State(java.lang.Object identifier,
     TransitionSystemImpl graph)

Method Detail

getIdentifier

public java.lang.Object getIdentifier()

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface org.processmining.models.graphbased.directed.DirectedGraphElement

Overrides:

equals in class org.processmining.models.graphbased.AbstractGraphNode

hashCode

public int hashCode()

Specified by:

hashCode in interface org.processmining.models.graphbased.directed.DirectedGraphElement

Overrides:

hashCode in class org.processmining.models.graphbased.AbstractGraphNode

getGraph

public TransitionSystemImpl getGraph()

Specified by:

getGraph in interface org.processmining.models.graphbased.directed.DirectedGraphElement

Specified by:

getGraph in class org.processmining.models.graphbased.directed.AbstractDirectedGraphNode

setAccepting

public void setAccepting(boolean accepting)

isAccepting

public boolean isAccepting()

setLabel

public void setLabel(java.lang.String label)

getLabel

public java.lang.String getLabel()

Specified by:

getLabel in interface org.processmining.models.graphbased.directed.DirectedGraphElement

Overrides:

getLabel in class org.processmining.models.graphbased.AbstractGraphElement

decorate

public void decorate(java.awt.Graphics2D g2d,
            double x,
            double y,
            double width,
            double height)

If this state is an accepting state, then an extra line is painted in the GUI as the border of this state.

Specified by:

decorate in interface org.processmining.models.shapes.Decorated