diff options
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/Makefile.am | 1 | ||||
-rw-r--r-- | src/util/channel.cpp | 2 | ||||
-rw-r--r-- | src/util/channel.h | 31 |
3 files changed, 24 insertions, 10 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 33123772d..e24184ad2 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -53,7 +53,6 @@ libutil_la_SOURCES = \ lemma_input_channel.h \ lemma_output_channel.h \ channel.h \ - channel.cpp \ language.cpp \ ntuple.h \ recursion_breaker.h \ diff --git a/src/util/channel.cpp b/src/util/channel.cpp deleted file mode 100644 index 998550f8e..000000000 --- a/src/util/channel.cpp +++ /dev/null @@ -1,2 +0,0 @@ -#include "channel.h" - diff --git a/src/util/channel.h b/src/util/channel.h index 1701feba9..eae7a4f11 100644 --- a/src/util/channel.h +++ b/src/util/channel.h @@ -1,3 +1,21 @@ +/********************* */ +/*! \file channel.h + ** \verbatim + ** Original author: kshitij + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief [[ Add one-line brief description here ]] + ** + ** [[ Add lengthier description here ]] + ** \todo document this file + **/ #ifndef __CVC4__CHANNEL_H #define __CVC4__CHANNEL_H @@ -10,7 +28,6 @@ #include <boost/progress.hpp> #include <boost/bind.hpp> - namespace CVC4 { template <typename T> @@ -32,15 +49,17 @@ public: /* */ virtual bool full() = 0; -}; +};/* class SharedChannel<T> */ /* This code is from -http://live.boost.org/doc/libs/1_46_1/libs/circular_buffer/doc/circular_buffer.html#boundedbuffer +http://live.boost.org/doc/libs/1_46_1/libs/circular_buffer/doc/circular_buffer.html#boundedbuffer + +and is covered by the Boost Software License, version 1.0. */ template <typename T> -class SynchronizedSharedChannel: public SharedChannel<T> { +class SynchronizedSharedChannel : public SharedChannel<T> { public: typedef boost::circular_buffer<T> container_type; typedef typename container_type::size_type size_type; @@ -87,10 +106,8 @@ private: boost::mutex m_mutex; boost::condition m_not_empty; boost::condition m_not_full; -}; +};/* class SynchronizedSharedChannel<T> */ } #endif /* __CVC4__CHANNEL_H */ - - |