public class Transition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private FolAction |
action |
private State |
from |
private State |
to |
Constructor and Description |
---|
Transition(State from,
FolAction action,
State to)
Creates a new transition with the given parameters.
|
Modifier and Type | Method and Description |
---|---|
FolAction |
getAction()
Returns the action that causes this transition.
|
State |
getFrom()
Returns the source state of this transition.
|
State |
getTo()
Returns the target state of this transition.
|
java.lang.String |
toString() |
public Transition(State from, FolAction action, State to)
from
- the state from which this transition origins.action
- the action that causes this transition.to
- the state representing the consequence of the execution of
action.public State getFrom()
public State getTo()
public FolAction getAction()
public java.lang.String toString()
toString
in class java.lang.Object