cvc4-1.3
|
#include <channel.h>
Public Member Functions | |
SharedChannel () | |
SharedChannel (int maxsize) | |
virtual | ~SharedChannel () |
virtual bool | push (const T &)=0 |
virtual T | pop ()=0 |
virtual bool | empty ()=0 |
virtual bool | full ()=0 |
|
inline |
|
inline |
|
inlinevirtual |
|
pure virtual |
Implemented in CVC4::SynchronizedSharedChannel< T >.
|
pure virtual |
Implemented in CVC4::SynchronizedSharedChannel< T >.
|
pure virtual |
Implemented in CVC4::SynchronizedSharedChannel< T >.
|
pure virtual |