Class Transition
- java.lang.Object
-
- net.sf.tweety.action.transitionsystem.Transition
-
public class Transition extends java.lang.Object
Represents a transition in an action transition system, which is a representation of the execution of an action which causes a state change from a source state to a target state.- Author:
- Sebastian Homann
-
-
Constructor Summary
Constructors Constructor Description Transition(State from, FolAction action, State to)
Creates a new transition with the given parameters.
-
-
-
Constructor Detail
-
Transition
public Transition(State from, FolAction action, State to)
Creates a new transition with the given parameters.- Parameters:
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.
-
-
Method Detail
-
getFrom
public State getFrom()
Returns the source state of this transition.- Returns:
- the source state of this transition.
-
getTo
public State getTo()
Returns the target state of this transition.- Returns:
- the target state of this transition.
-
getAction
public FolAction getAction()
Returns the action that causes this transition.- Returns:
- the action that causes this transition.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-