Package ptolemy.domains.modal.kernel.ia

Support for Interface Automatons. Interface automata is an automata model defined by de Alfaro and Henzinger in the paper "Interface Automata".

Since:

Ptolemy II 2.0

Class Summary

Class	Description
InterfaceAutomaton	This class models an Interface Automaton.
InterfaceAutomatonTransition	A Transition for Interface Automaton.
StatePair	A pair of states.