projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73bf253) | patch
replaced all static member data from rewrite rule triggers, added infrastructure...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Nov 2012 22:58:53 +0000 (22:58 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 14 Nov 2012 22:58:53 +0000 (22:58 +0000)
commit8a672c060d2b3946c542c82bd6ca8f89892216ee
tree6a79291dfb1fa21c2394af6d11a4f1b478a63b12tree
parent73bf2532d70177ee768c508ef971b969994cea2ccommit | diff
replaced all static member data from rewrite rule triggers, added infrastructure for recognizing quantifier macros
14 files changed:
src/smt/smt_engine.cpp diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/quantifiers/Makefile.am diff | blob | history
src/theory/quantifiers/macros.cpp [new file with mode: 0755] blob
src/theory/quantifiers/macros.h [new file with mode: 0755] blob
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers/trigger.cpp diff | blob | history
src/theory/quantifiers/trigger.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history
src/theory/rewriterules/rr_trigger.cpp diff | blob | history
src/theory/rewriterules/rr_trigger.h diff | blob | history