diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-02 18:27:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-03 01:27:30 +0000 |
| commit | c2cf72496097cf94817e171ffa382c69e1da04ba (patch) | |
| tree | 84da5fba12e9bc426e88d9dabac9e29b7babec44 /src/theory/model_manager.cpp | |
| parent | 3f233b1978e10dcb553662f27ec8a4f250c89071 (diff) | |
theory: Have Theory and TheoryArith* derive from EnvObj. (#7128)
Note: the diff in theory.h is only huge because of small changes that caused huge reformat. The effective change is only that it now derives from EnvObj, does not have a member d_env (because it inherits it) and does not need getLogicInfo (because that's in EnvObj).
Diffstat (limited to 'src/theory/model_manager.cpp')
0 files changed, 0 insertions, 0 deletions