projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf5376c) | patch
Refactoring theory-specific variable elimination in quantifiers rewriter (#7026)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 17 Aug 2021 17:31:35 +0000 (12:31 -0500)
committerGitHub <noreply@github.com>
Tue, 17 Aug 2021 17:31:35 +0000 (17:31 +0000)
commit0ed79af1b83ec675940e216e851d8b11b3bfea66
treeef06e0225d3d39932afdf0c14b9743ba0de6d65ctree
parentcf5376c18d8e4d6b3ed2d7b341279cf65fc16418commit | diff
Refactoring theory-specific variable elimination in quantifiers rewriter (#7026)

No behavior changes in this PR, just code reorganization.
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history