projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20ba22f) | patch
Eliminate static options access for central ee (#8823)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 May 2022 20:56:15 +0000 (15:56 -0500)
committerGitHub <noreply@github.com>
Fri, 27 May 2022 20:56:15 +0000 (20:56 +0000)
commit17049dc8c6e2f9a9e306fbd7fcfc92a0aff1dd5f
tree52e148c0c7dfebcaf696e36c95b2bb15ff00e4f5tree
parent20ba22fdfe7d23f3a4892edf2e35d712989a16bfcommit | diff
Eliminate static options access for central ee (#8823)

Also refactors TheoryEngine to not maintain its own reference to logic info and an accessor to it.

Towards eliminating option scopes.
src/theory/combination_engine.cpp diff | blob | history
src/theory/ee_manager_central.cpp diff | blob | history
src/theory/ee_manager_central.h diff | blob | history
src/theory/term_registration_visitor.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history