projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36b5281) | patch
Initial cleaning of e-matching instantiation strategy (#5796)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 24 Jan 2021 19:55:50 +0000 (13:55 -0600)
committerGitHub <noreply@github.com>
Sun, 24 Jan 2021 19:55:50 +0000 (13:55 -0600)
commitae541bb35e7b627f28b13eede29f5870f42b078e
tree75ca1e6a099d55ba22fa74d95fd49bcb8b4b86e6tree
parent36b5281d3a4d58df5a4e68eca3d41568f1650769commit | diff
 Initial cleaning of e-matching instantiation strategy (#5796)

In preparation for splitting this into multiple files.

No behavior changes in this PR.
src/theory/quantifiers/ematching/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/quant_relevance.cpp diff | blob | history
src/theory/quantifiers/quant_relevance.h diff | blob | history