projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d8a3b4) | patch
Initial cleaning of triggers (#5795)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 24 Jan 2021 19:13:06 +0000 (13:13 -0600)
committerGitHub <noreply@github.com>
Sun, 24 Jan 2021 19:13:06 +0000 (13:13 -0600)
commit36b5281d3a4d58df5a4e68eca3d41568f1650769
tree9fe99b5e64322f0cb6c7b567393c05fcea29306ftree
parent9d8a3b458b11961026ee1e58782ff073de29f93bcommit | diff
Initial cleaning of triggers (#5795)

In preparation for splitting trigger.h/cpp into multiple files.

This updates the code to conform to guidelines. No major changes, apart from a heuristic related to "pure theory triggers" is deleted and simplified.
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/ematching/ho_trigger.cpp diff | blob | history
src/theory/quantifiers/ematching/ho_trigger.h diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.h diff | blob | history