projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d21afb8) | patch
Add the central equality engine manager (#6893)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 22 Jul 2021 14:23:35 +0000 (09:23 -0500)
committerGitHub <noreply@github.com>
Thu, 22 Jul 2021 14:23:35 +0000 (14:23 +0000)
commit88ab520f89f971a9d83d18a08a2aa5cea493a6a5
tree6cfdf55ec57f5bd0c21ca1b771f942d534318386tree
parentd21afb82b4b2dec2e67c454cbc76cc5f5b00df36commit | diff
Add the central equality engine manager (#6893)

This class is responsible for setting up the central equality engine. It relies on a new static method Theory::usesCentralEqualityEngine, which will be refined in followup PRs.

This PR does not change the behavior, it only adds the class.

Further PRs will connect this class to CombinationEngine, make it optionally enabled, and make the remaining changes to TheoryEngine to make it compatible.
src/CMakeLists.txt diff | blob | history
src/theory/ee_manager_central.cpp [new file with mode: 0644] blob
src/theory/ee_manager_central.h [new file with mode: 0644] blob
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history