projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11b6d67) | patch
Push Env class into TheoryState (#7012)
authorGereon Kremer <nafur42@gmail.com>
Tue, 17 Aug 2021 00:20:27 +0000 (17:20 -0700)
committerGitHub <noreply@github.com>
Tue, 17 Aug 2021 00:20:27 +0000 (17:20 -0700)
commita11de769885cf9ac4b2c2f06409976080b326fe6
tree6c3c15110812d6fbcc7f96aa1d5bd782b02534c3tree
parent11b6d67d32160681d4495fd92930ffb6ddb79abecommit | diff
Push Env class into TheoryState (#7012)

This PR is a follow-up to #7011, making the Env object available in the TheoryState base class.
25 files changed:
src/theory/arith/arith_state.cpp diff | blob | history
src/theory/arith/arith_state.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/bags/solver_state.cpp diff | blob | history
src/theory/bags/solver_state.h diff | blob | history
src/theory/bags/theory_bags.cpp diff | blob | history
src/theory/builtin/theory_builtin.cpp diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/fp/theory_fp.cpp diff | blob | history
src/theory/quantifiers/quantifiers_state.cpp diff | blob | history
src/theory/quantifiers/quantifiers_state.h diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sets/solver_state.cpp diff | blob | history
src/theory/sets/solver_state.h diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/strings/solver_state.cpp diff | blob | history
src/theory/strings/solver_state.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/theory_state.cpp diff | blob | history
src/theory/theory_state.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
test/unit/test_smt.h diff | blob | history