CVC4::SynchronizedSharedChannel< T > Class Template Referenceabstract
#include <channel.h>
Inheritance diagram for CVC4::SynchronizedSharedChannel< T >:
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 |
Detailed Description
template<typename T>
class CVC4::SynchronizedSharedChannel< T >
Member Typedef Documentation
template<typename T >
| typedef boost::circular_buffer<T> CVC4::SynchronizedSharedChannel< T >::container_type |
template<typename T >
| typedef boost::call_traits<value_type>::param_type CVC4::SynchronizedSharedChannel< T >::param_type |
template<typename T >
| typedef container_type::size_type CVC4::SynchronizedSharedChannel< T >::size_type |
template<typename T >
| typedef container_type::value_type CVC4::SynchronizedSharedChannel< T >::value_type |
Constructor & Destructor Documentation
template<typename T >
|
inlineexplicit |
Member Function Documentation
template<typename T >
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
template<typename T >
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
template<typename T >
|
inlinevirtual |
Implements CVC4::SharedChannel< T >.
template<typename T >
|
pure virtualinherited |
template<typename T >
|
inline |
The documentation for this class was generated from the following file:
- src/util/channel.h
