E
- is the type of elements in the sequence.public class PayloadTransitionSystem<E> extends TransitionSystemImpl
Constructor and Description |
---|
PayloadTransitionSystem(java.lang.String label,
PayloadHandler<E> handler)
The only constructor for this class.
|
Modifier and Type | Method and Description |
---|---|
PayloadHandler<E> |
getPayloadHanlder()
Returns the payload handler associated with this transition system.
|
State |
getSourceState(java.util.List<E> sequence,
int i)
Returns the source state of the transition that corresponds to the i-th
element.
|
State |
getTargetState(java.util.List<E> sequence,
int i) |
Transition |
getTransition(java.util.List<E> sequence,
int i)
Returns the transition that corresponds to the i-th element of the
sequence.
|
addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode
public PayloadTransitionSystem(java.lang.String label, PayloadHandler<E> handler)
label
- is the transition system label.handler
- is the specific PayloadHandler.public PayloadHandler<E> getPayloadHanlder()
public State getSourceState(java.util.List<E> sequence, int i)
sequence
- i
- public Transition getTransition(java.util.List<E> sequence, int i)
sequence
- i
-