Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package ptolemy.domains.modal.kernel.ia

Support for Interface Automatons.

See:
          Description

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

Package ptolemy.domains.modal.kernel.ia Description

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
Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES