|
Data Structures |
| class | Bin |
| | Bin is a single bounded (number of token greater or equal to zero) token abstract resource. More...
|
| class | Condq |
| | Condq can be used to let a process wait for an arbitrary condition. More...
|
| class | Res |
| | Res is a double (n>=0 && n<=max number of token) bounded token abstract resource. More...
|
| class | Wait |
| | Wait for termination of #n process objects More...
|
| class | Waitq |
| | Waitq realises a master slave synchronisation, where the master gets control after successful synchronisation. More...
|
