net.sf.tweety.action.transitionsystem

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

Field Summary

Fields

Modifier and Type	Field and Description
private FolAction	action
private State	from
private State	to

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

Methods inherited from class java.lang.Object

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

Field Detail

from

private State from

to

private State to

action

private FolAction action

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 class java.lang.Object