projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d027f24) | patch
Move trigger trie to own file (#5680)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 15 Dec 2020 23:55:06 +0000 (17:55 -0600)
committerGitHub <noreply@github.com>
Tue, 15 Dec 2020 23:55:06 +0000 (17:55 -0600)
commitaac53f510e1f21a46a49cb31475a8851a3097089
treec05c3bb737b6efde6857d7249eabfcd597c7b99ctree
parentd027f24ed72556c240b43c0fa3282927f9344c3ecommit | diff
Move trigger trie to own file (#5680)

Also updates minor things to meet coding standards and makes it so that children in the trie are not dynamically allocated.
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.h diff | blob | history
src/theory/quantifiers/ematching/trigger_trie.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/trigger_trie.h [new file with mode: 0644] blob
src/theory/quantifiers_engine.h diff | blob | history