|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Class Summary | |
|---|---|
| YIdentifier | This class has control over data structures that allow for storing an identifer and managing a set of children. |
| YInternalCondition | |
| YMarking | |
| YOrJoinUtils | |
| YSetOfMarkings | |
Provides for maintaining the internal state and markings of nets via their tokens.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||