diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-02-28 20:13:02 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-02-28 20:13:02 +0000 |
| commit | e49a6b52328ed5f8c77f865b3d068f867ce8054d (patch) | |
| tree | 3ca47463eaaba29c9829fb60152a7a5942f6c57d /src/smt | |
| parent | c492f41a58c1299105d58a3561afccd09e0532bc (diff) | |
Adds the CDQueue class. This is a wrapper for combining a CDList<T> and a CDO<size_t> into a FIFO queue.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions