projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 714ede2) | patch
Reorganize candidate rewrite rule filtering (#2116)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 Jul 2018 13:31:14 +0000 (14:31 +0100)
committerAina Niemetz <aina.niemetz@gmail.com>
Wed, 4 Jul 2018 13:31:14 +0000 (06:31 -0700)
commit9a8d9420f03ba27fc5cbb9674b0c809ecc53e85e
tree73b0b5ca75435c2816f5bf0c93144e269450bc18tree
parent714ede2487fb58ea46858380eecfff72c2e2d4accommit | diff
Reorganize candidate rewrite rule filtering (#2116)
src/Makefile.am diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.cpp diff | blob | history
src/theory/quantifiers/candidate_rewrite_database.h diff | blob | history
src/theory/quantifiers/candidate_rewrite_filter.cpp [new file with mode: 0644] blob
src/theory/quantifiers/candidate_rewrite_filter.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus_sampler.cpp diff | blob | history
src/theory/quantifiers/sygus_sampler.h diff | blob | history