uk.ac.man.cs.rainbow.rapa.abstraction
Class Transition

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.abstraction.Transition

All Implemented Interfaces:

Comparable

public class Transition

extends Object

implements Comparable

A transition in the abstract transition system.

Method Summary

int	compareTo(Object o)
boolean	equals(Object o)
State	execute()
Set	getActions()
State	getSource()
State	getTarget()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getSource

public State getSource()

getActions

public Set getActions()

getTarget

public State getTarget()

execute

public State execute()

See Also:

Channel.Listener

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

compareTo

public int compareTo(Object o)

Specified by:

compareTo in interface Comparable