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... |