projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a71f9a9) | patch
Minor optimizations for term database (#7600)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 9 Nov 2021 21:19:48 +0000 (15:19 -0600)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 21:19:48 +0000 (21:19 +0000)
commit78f08ed4f7ed72aadce466235266dfae7fafafdf
tree4fa020b722ef34b563eb40c4ad542838d4ecc104tree
parenta71f9a9dfdc512274635d80be9e3662ed745b14ccommit | diff
Minor optimizations for term database (#7600)

A few minor optimizations for term database.

Also collects private/public blocks in quantifiers engine.
src/theory/quantifiers/ematching/candidate_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/candidate_generator.h diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history