Package rationals

Interface Summary

Interface	Description
Acceptor
Rational
State	Interface for State objects This class defines the notion of state of an automaton.
StateFactory	This class is used by Automaton objects to create new states on A user can implement its own version of StateFactory by providing an implementation for createState
StateMachine	An interface for abstract state machines.
Synchronization	An interface for defining various synchronization schemes.

Class Summary

Class	Description
Automaton	A class defining Automaton objects This class defines the notion of automaton.
Couple	Couple.
DefaultStateFactory	This class is used by Automaton objects to create new states on A user can implement its own version of StateFactory by providing an implementation for createState
DefaultSynchronization	Default synchronization scheme for standard automaton.
Transition	Defines a Transition (an edge from a state to a state) in an Automaton This class defines the notion of transition of an automaton.