diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-16 07:20:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-16 14:20:22 +0000 |
commit | 5e31ee3a34388d6d44129e898897bdb1297009de (patch) | |
tree | b12a86a3737c23555444d2ed6c5c3f13b737b7a4 /src/theory/bv/theory_bv.h | |
parent | 0711ec521f01888b059d152d1c1f20382d5ce432 (diff) |
Make Theory class use Env (#7011)
This PR changes the Theory base class and the constructors of all theories to use the Env class to access contexts, logic information and the proof node manager.
Diffstat (limited to 'src/theory/bv/theory_bv.h')
-rw-r--r-- | src/theory/bv/theory_bv.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index da44d7022..b4afb5f5d 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -39,12 +39,9 @@ class TheoryBV : public Theory friend class BVSolverLayered; public: - TheoryBV(context::Context* c, - context::UserContext* u, + TheoryBV(Env& env, OutputChannel& out, Valuation valuation, - const LogicInfo& logicInfo, - ProofNodeManager* pnm = nullptr, std::string name = ""); ~TheoryBV(); |