|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| 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. |
The ptolemy.verification.lib package.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||