envgen.spec.ltl2buchi
Class FSAState

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

public class FSAState

extends java.lang.Object

Implementation of a state of a finite state automaton.

Field Summary

(package private) MultiSet	incoming Incoming nodes.
(package private) MultiSet	outgoing Outgoing nodes.
(package private) MultiSet	transitions Keeps track of transitions and the states where they lead to.

Constructor Summary

FSAState()

Method Summary

MultiSet	getTransitions() Returns a set of transitions from this state.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

transitions

MultiSet transitions

Keeps track of transitions and the states where they lead to.

incoming

MultiSet incoming

Incoming nodes.

outgoing

MultiSet outgoing

Outgoing nodes.

Constructor Detail

FSAState

public FSAState()

Method Detail

getTransitions

public MultiSet getTransitions()

Returns a set of transitions from this state.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object