ensureLiteral() in CNF stream to support Andy's quantifiers work; an update to model...
authorMorgan Deters <mdeters@gmail.com>
Wed, 5 Oct 2011 23:51:57 +0000 (23:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 5 Oct 2011 23:51:57 +0000 (23:51 +0000)
commita8d7333d8fb03c95ef3d1d7d9501076b97add756
tree9f217a8cdb8905dea26529684584b401c4a47323
parent9bdf1355af20c4dd2b97ea9bc5f34cc20fbdde0f
ensureLiteral() in CNF stream to support Andy's quantifiers work; an update to model gen on booleans; and a little cleanup
src/prop/cnf_stream.cpp
src/prop/cnf_stream.h
src/prop/prop_engine.cpp
src/prop/prop_engine.h
src/theory/booleans/theory_bool.cpp
src/theory/theory_engine.cpp
src/theory/valuation.cpp
src/theory/valuation.h
test/unit/prop/cnf_stream_black.h