diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
commit | 480d440174c565bec9aba412c0d35221c9169ff6 (patch) | |
tree | 12048b5ba5d9717d6770b5d89de23d9c7048a981 /src/util/channel.h | |
parent | cfa9e2cbbdf77a325791b5548b41093a0781311c (diff) |
Some minor changes after reviewing the portfolio "unified driver" commit.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/util/channel.h')
-rw-r--r-- | src/util/channel.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/util/channel.h b/src/util/channel.h index eae7a4f11..4a07f265d 100644 --- a/src/util/channel.h +++ b/src/util/channel.h @@ -17,6 +17,8 @@ ** \todo document this file **/ +#include "cvc4_public.h" + #ifndef __CVC4__CHANNEL_H #define __CVC4__CHANNEL_H @@ -31,12 +33,13 @@ namespace CVC4 { template <typename T> -class SharedChannel { +class CVC4_PUBLIC SharedChannel { private: int d_maxsize; // just call it size? public: SharedChannel() {} SharedChannel(int maxsize) : d_maxsize(maxsize) {} + virtual ~SharedChannel() {} /* Tries to add element and returns true if successful */ virtual bool push(const T&) = 0; @@ -59,7 +62,7 @@ http://live.boost.org/doc/libs/1_46_1/libs/circular_buffer/doc/circular_buffer.h and is covered by the Boost Software License, version 1.0. */ template <typename T> -class SynchronizedSharedChannel : public SharedChannel<T> { +class CVC4_PUBLIC SynchronizedSharedChannel : public SharedChannel<T> { public: typedef boost::circular_buffer<T> container_type; typedef typename container_type::size_type size_type; @@ -108,6 +111,6 @@ private: boost::condition m_not_full; };/* class SynchronizedSharedChannel<T> */ -} +}/* CVC4 namespace */ #endif /* __CVC4__CHANNEL_H */ |