projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 671a3d6) | patch
Remove isAtomic() as per 4/27/2010 meeting. Add comments about its potential design...
authorMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 21:19:36 +0000 (21:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 21:19:36 +0000 (21:19 +0000)
commit6ac90a806f563981bc25fe06bb0dde35d62da7a9
treecbf5f3b1d4877cd6a7469356cfabbea5242d1d8ftree
parent671a3d6d5ae8a89a1bb846a78f5ec9c064edc655commit | diff
Remove isAtomic() as per 4/27/2010 meeting.  Add comments about its potential design for later.  Resolves bug 113, invalidates bugs 93 and 94.
14 files changed:
src/expr/builtin_kinds diff | blob | history
src/expr/expr_template.cpp diff | blob | history
src/expr/expr_template.h diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/expr/mkexpr diff | blob | history
src/expr/mkkind diff | blob | history
src/expr/mkmetakind diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_manager.h diff | blob | history
src/prop/cnf_stream.cpp diff | blob | history
src/theory/booleans/kinds diff | blob | history
src/theory/mktheoryof diff | blob | history
test/unit/expr/attribute_white.h diff | blob | history
test/unit/expr/expr_public.h diff | blob | history