Package org.tweetyproject.action.transitionsystem

Class Transition

java.lang.Object

org.tweetyproject.action.transitionsystem.Transition

public class Transition
extends 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.

Method Summary

Modifier and Type	Method	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.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 Details

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 String toString()

Overrides:

toString in class Object