cvc4-1.4
|
#include <channel.h>
Public Types | |
typedef boost::circular_buffer< T > | container_type |
typedef container_type::size_type | size_type |
typedef container_type::value_type | value_type |
typedef boost::call_traits< value_type >::param_type | param_type |
Public Member Functions | |
SynchronizedSharedChannel (size_type capacity) | |
bool | push (param_type item) |
value_type | pop () |
bool | empty () |
bool | full () |
virtual bool | push (const T &)=0 |
typedef boost::circular_buffer<T> CVC4::SynchronizedSharedChannel< T >::container_type |
typedef boost::call_traits<value_type>::param_type CVC4::SynchronizedSharedChannel< T >::param_type |
typedef container_type::size_type CVC4::SynchronizedSharedChannel< T >::size_type |
typedef container_type::value_type CVC4::SynchronizedSharedChannel< T >::value_type |
|
inlineexplicit |
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
|
pure virtualinherited |
|
inline |