Package ptolemy.domains.modal.kernel.test

The ptolemy.domains.modal.kernel.test package.

Since:

Ptolemy II 8.1

Class Summary

Class	Description
AlternatingSimulation	Compute the alternating simulation of two interface automata.
CombineInternalTransitions	Combine the internal transitions using the combineInternalTransitions() method.
Compose	Compute the composition of interface automata.
DeadlockStates	Display the deadlock states.
GetInfo	Display the high-level information of interface automata to stdout.
Project	Compute the projection of an interface automaton to another one.
ZeroOneSource	This actor produces the sequence 011101011011000...