projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8a010d) | patch
adding ::getBooleanVariables to the PropEngine
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Oct 2012 17:59:33 +0000 (17:59 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 3 Oct 2012 17:59:33 +0000 (17:59 +0000)
commitf0547f8a6fe9cecefde8b1d0c3dc8fcf50219c6b
treea2afaaa295c8964408dd7c53127df61527e00d90tree
parentb8a010d260c90efa5433a71dd317a03f051c2592commit | diff
adding ::getBooleanVariables to the PropEngine
you can get the Boolean variables in the TheoryEngine now by using d_propEngine->getBooleanVariables
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/bv/bitblaster.cpp diff | blob | history
test/unit/prop/cnf_stream_white.h diff | blob | history