projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0607743) | patch
Datatype enumerator work. This version is not a "fair" enumerator, but I got it...
authorMorgan Deters <mdeters@gmail.com>
Thu, 26 Jul 2012 21:09:10 +0000 (21:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 26 Jul 2012 21:09:10 +0000 (21:09 +0000)
commit988c97d92fa617c5dccaeb1ef33121bfa6459afc
treea207b24d2f3c8afebc7a5fe8c44b03266f49161atree
parent06077433dd58f92a06e9539b6f17a551421141b4commit | diff
Datatype enumerator work.  This version is not a "fair" enumerator, but I got it in quickly for Andy.

A "fair" version forthcoming.
src/theory/datatypes/type_enumerator.h diff | blob | history
test/unit/theory/type_enumerator_white.h diff | blob | history