envgen.spec.ltl2buchi
Class Transition

java.lang.Object
  |
  +--envgen.spec.ltl2buchi.Transition

public class Transition

extends java.lang.Object

Representation of a transition of a finite state automata.

Field Summary

(package private) int	actionNum Action taken on this transition.
(package private) int	nextState The state the transition goes to.

Constructor Summary

Transition(int a, int n)

Method Summary

int	getActionNum()
int	getNextState()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

actionNum

int actionNum

Action taken on this transition.

nextState

int nextState

The state the transition goes to.

Constructor Detail

Transition

public Transition(int a,
                  int n)

Method Detail

getActionNum

public int getActionNum()

getNextState

public int getNextState()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object