Uses of Class
ptolemy.domains.modal.kernel.ia.InterfaceAutomaton

Packages that use InterfaceAutomaton

Package	Description
ptolemy.domains.modal.kernel.ia	Support for Interface Automatons.

Uses of InterfaceAutomaton in ptolemy.domains.modal.kernel.ia

Methods in ptolemy.domains.modal.kernel.ia that return InterfaceAutomaton

Modifier and Type	Method and Description
InterfaceAutomaton	InterfaceAutomaton.compose(InterfaceAutomaton automaton) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.
InterfaceAutomaton	InterfaceAutomaton.compose(InterfaceAutomaton automaton, boolean considerTransient) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.

Methods in ptolemy.domains.modal.kernel.ia with parameters of type InterfaceAutomaton

Modifier and Type	Method and Description
InterfaceAutomaton	InterfaceAutomaton.compose(InterfaceAutomaton automaton) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.
InterfaceAutomaton	InterfaceAutomaton.compose(InterfaceAutomaton automaton, boolean considerTransient) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.
java.util.Set	InterfaceAutomaton.computeAlternatingSimulation(InterfaceAutomaton subAutomaton) Return the unique maximal alternating simulation from the specified automaton to this automaton.
void	InterfaceAutomaton.project(InterfaceAutomaton automaton) Project this automaton into the specified one.
static java.util.Set	InterfaceAutomaton.reacheableAlternatingSimulation(java.util.Set alternatingSimulation, InterfaceAutomaton superAutomaton, InterfaceAutomaton subAutomaton) Return the reacheable state pairs in the specified alternating simulation.

Constructors in ptolemy.domains.modal.kernel.ia with parameters of type InterfaceAutomaton

Constructor and Description
InterfaceAutomatonTransition(InterfaceAutomaton container, java.lang.String name) Construct a transition with the specified container and name.