projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e8b81) | patch
Eliminate equality query dependence on quantifiers engine (#5831)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 4 Feb 2021 21:18:05 +0000 (15:18 -0600)
committerGitHub <noreply@github.com>
Thu, 4 Feb 2021 21:18:05 +0000 (15:18 -0600)
commitc8d7db69e6b5274c21029f231a1d312518d658e7
treee169a3b7504b8942d4cd859c666dea9ce83f1c6etree
parent18e8b81b8eb4c4e313b03f4616271a0ea8e65e9bcommit | diff
Eliminate equality query dependence on quantifiers engine (#5831)

This class will be renamed "RepSelector" on a future PR. It no longer needs to depend on quantifiers engine and can be initialized after the modules it depends on.
src/theory/quantifiers/equality_query.cpp diff | blob | history
src/theory/quantifiers/equality_query.h diff | blob | history
src/theory/quantifiers/first_order_model.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history