projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1bb100) | patch
(new theory) Update TheoryQuantifiers to the new interface (#4950)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 28 Aug 2020 19:49:26 +0000 (14:49 -0500)
committerGitHub <noreply@github.com>
Fri, 28 Aug 2020 19:49:26 +0000 (14:49 -0500)
commitc137366e668aff70b1739a1f2c5cf8e6e2e28a72
treeb40055e588894833ac4d0e4f813994766a6744b6tree
parentd1bb100d75aca76fdeb7a18b6c044035029ffe17commit | diff
(new theory) Update TheoryQuantifiers to the new interface (#4950)

TheoryQuantifiers is a theory that passes quantified formulas to QuantifiersEngine. This updates it to the new check template (see #4929).

Also does some minor cleanup in the cpp file.
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.h diff | blob | history