projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c492f41) | patch
Adds the CDQueue class. This is a wrapper for combining a CDList<T> and a CDO<size_t...
authorTim King <taking@cs.nyu.edu>
Tue, 28 Feb 2012 20:13:02 +0000 (20:13 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 28 Feb 2012 20:13:02 +0000 (20:13 +0000)
commite49a6b52328ed5f8c77f865b3d068f867ce8054d
tree3ca47463eaaba29c9829fb60152a7a5942f6c57dtree
parentc492f41a58c1299105d58a3561afccd09e0532bccommit | diff
Adds the CDQueue class.  This is a wrapper for combining a CDList<T> and a CDO<size_t> into a FIFO queue.
src/context/Makefile.am diff | blob | history
src/context/cdqueue.h [new file with mode: 0644] blob