diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-07-22 09:23:35 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 14:23:35 +0000 |
| commit | 88ab520f89f971a9d83d18a08a2aa5cea493a6a5 (patch) | |
| tree | 6cfdf55ec57f5bd0c21ca1b771f942d534318386 /src/theory/relevance_manager.h | |
| parent | d21afb82b4b2dec2e67c454cbc76cc5f5b00df36 (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.
Diffstat (limited to 'src/theory/relevance_manager.h')
0 files changed, 0 insertions, 0 deletions