diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-07 13:52:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-07 20:52:23 +0000 |
| commit | d3a160dee74b236cab32458fe8e5a3e653d28faf (patch) | |
| tree | 8ba0ca844cfccf2b310e0b63d682ed0aa3647c2f /src/theory/bags/theory_bags.cpp | |
| parent | 01cde22b7d69c1b1037cf1d536ca62becc3bd865 (diff) | |
Use `EnvObj` methods instead of `Theory` methods (#7144)
This removes the methods `getEnv()`, `options()`, `getSatContext()`, and
`getUserContext()` from the `Theory` class because they are now part of
`EnvObj`. Additionally, this commit converts the inference managers to
`EnvObj` because of there were some calls to retrieve the contexts from
`Theory` in those classes.
Diffstat (limited to 'src/theory/bags/theory_bags.cpp')
| -rw-r--r-- | src/theory/bags/theory_bags.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bags/theory_bags.cpp b/src/theory/bags/theory_bags.cpp index f8483064d..c421b9ec2 100644 --- a/src/theory/bags/theory_bags.cpp +++ b/src/theory/bags/theory_bags.cpp @@ -30,7 +30,7 @@ namespace bags { TheoryBags::TheoryBags(Env& env, OutputChannel& out, Valuation valuation) : Theory(THEORY_BAGS, env, out, valuation), d_state(env, valuation), - d_im(*this, d_state, d_pnm), + d_im(env, *this, d_state, d_pnm), d_ig(&d_state, &d_im), d_notify(*this, d_im), d_statistics(), |