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/include/cvc4parser_public.h | |
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/include/cvc4parser_public.h')
0 files changed, 0 insertions, 0 deletions