Package ptolemy.verification.lib

The ptolemy.verification.lib package.

See: Description

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.

Package ptolemy.verification.lib Description

The ptolemy.verification.lib package.

Since:

Ptolemy II 7.2