Package crypto.rules
Class TransitionEdge
- java.lang.Object
-
- crypto.rules.TransitionEdge
-
- All Implemented Interfaces:
Transition<StateNode>,Serializable
public class TransitionEdge extends Object implements Transition<StateNode>, Serializable
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description TransitionEdge(List<CrySLMethod> _methods, StateNode _left, StateNode _right)
-
-
-
Constructor Detail
-
TransitionEdge
public TransitionEdge(List<CrySLMethod> _methods, StateNode _left, StateNode _right)
-
-
Method Detail
-
getLeft
public StateNode getLeft()
-
getRight
public StateNode getRight()
-
getLabel
public List<CrySLMethod> getLabel()
- Specified by:
getLabelin interfaceTransition<StateNode>
-
from
public StateNode from()
- Specified by:
fromin interfaceTransition<StateNode>
-
to
public StateNode to()
- Specified by:
toin interfaceTransition<StateNode>
-
-