projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f233b1) | patch
theory: Have Theory and TheoryArith* derive from EnvObj. (#7128)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 3 Sep 2021 01:27:30 +0000 (18:27 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 01:27:30 +0000 (01:27 +0000)
commitc2cf72496097cf94817e171ffa382c69e1da04ba
tree84da5fba12e9bc426e88d9dabac9e29b7babec44tree
parent3f233b1978e10dcb553662f27ec8a4f250c89071commit | 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).
src/smt/env_obj.cpp diff | blob | history
src/smt/env_obj.h diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history