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, removeTransitioncheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetLabelgetInEdges, getOutEdgesequals, getGraph, hashCodepublic 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 -