Package ptolemy.verification.lib

The ptolemy.verification.lib package.

Since:

Ptolemy II 7.2

Class Summary

Class	Description
BoundedBufferNondeterministicDelay	A bounded buffer with nondeterministic delay.
BoundedBufferTimedDelay	A bounded buffer with a timed delay.
SMVLegacyCodeActor	An actor of this class contains pure SMV codes.