Class Transition
- java.lang.Object
 - 
- net.sf.tweety.action.transitionsystem.Transition
 
 
- 
public class Transition extends java.lang.ObjectRepresents 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:
 toStringin classjava.lang.Object
 
 - 
 
 -