projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46ad5bd) | patch
Make theory engine modules use Env (#7277)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 30 Sep 2021 16:48:12 +0000 (11:48 -0500)
committerGitHub <noreply@github.com>
Thu, 30 Sep 2021 16:48:12 +0000 (16:48 +0000)
commit4e54aa63e13f551e9c647ce59edd958e1d84ddb1
tree6ac634316622d2d8deb1ecce9fa432e3468fa2a4tree
parent46ad5bddc9bc0e03ea702f29c56c22e917aeb06bcommit | diff
Make theory engine modules use Env (#7277)

This updates several core modules of TheoryEngine to use Env and eliminates some getters from TheoryEngine.
22 files changed:
src/theory/combination_care_graph.cpp diff | blob | history
src/theory/combination_care_graph.h diff | blob | history
src/theory/combination_engine.cpp diff | blob | history
src/theory/combination_engine.h diff | blob | history
src/theory/ee_manager.cpp diff | blob | history
src/theory/ee_manager.h diff | blob | history
src/theory/ee_manager_central.cpp diff | blob | history
src/theory/ee_manager_central.h diff | blob | history
src/theory/ee_manager_distributed.cpp diff | blob | history
src/theory/ee_manager_distributed.h diff | blob | history
src/theory/model_manager.cpp diff | blob | history
src/theory/model_manager.h diff | blob | history
src/theory/model_manager_distributed.cpp diff | blob | history
src/theory/model_manager_distributed.h diff | blob | history
src/theory/shared_solver.cpp diff | blob | history
src/theory/shared_solver.h diff | blob | history
src/theory/shared_solver_distributed.cpp diff | blob | history
src/theory/shared_solver_distributed.h diff | blob | history
src/theory/shared_terms_database.cpp diff | blob | history
src/theory/shared_terms_database.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
src/theory/theory_engine.h diff | blob | history