net.sf.tweety.action.transitionsystem

Class Transition

java.lang.Object

net.sf.tweety.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 and Description
Transition(State from, FolAction action, State to) Creates a new transition with the given parameters.

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Overrides:

toString in class Object