From a11de769885cf9ac4b2c2f06409976080b326fe6 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Mon, 16 Aug 2021 17:20:27 -0700 Subject: Push Env class into TheoryState (#7012) This PR is a follow-up to #7011, making the Env object available in the TheoryState base class. --- src/theory/quantifiers/quantifiers_state.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/theory/quantifiers/quantifiers_state.cpp') diff --git a/src/theory/quantifiers/quantifiers_state.cpp b/src/theory/quantifiers/quantifiers_state.cpp index 7654a6326..39af9c2c9 100644 --- a/src/theory/quantifiers/quantifiers_state.cpp +++ b/src/theory/quantifiers/quantifiers_state.cpp @@ -22,11 +22,12 @@ namespace cvc5 { namespace theory { namespace quantifiers { -QuantifiersState::QuantifiersState(context::Context* c, - context::UserContext* u, +QuantifiersState::QuantifiersState(Env& env, Valuation val, const LogicInfo& logicInfo) - : TheoryState(c, u, val), d_ierCounterc(c), d_logicInfo(logicInfo) + : TheoryState(env, val), + d_ierCounterc(env.getContext()), + d_logicInfo(logicInfo) { // allow theory combination to go first, once initially d_ierCounter = options::instWhenTcFirst() ? 0 : 1; -- cgit v1.2.3