Adding comments to NodeManager
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 25 Mar 2010 20:20:29 +0000 (20:20 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 25 Mar 2010 20:20:29 +0000 (20:20 +0000)
commit56837b30117fda75298138cdd052e0c5ba201b86
treeb96d684f9926ea49c2b39e6193a8925f95d0287d
parente3e0b625862ba23ba97eb72fcdd3811448ad855a
Adding comments to NodeManager
Minor name changes for cleanup and hash function templates
13 files changed:
src/expr/attribute.h
src/expr/node.h
src/expr/node_manager.h
src/expr/node_value.cpp
src/expr/node_value.h
src/expr/type.h
src/parser/symbol_table.h
src/prop/cnf_stream.h
src/prop/sat.h
src/theory/uf/theory_uf.cpp
src/theory/uf/theory_uf.h
test/unit/expr/attribute_black.h
test/unit/expr/attribute_white.h