diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-19 13:36:59 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-19 13:36:59 -0500 |
commit | 31717bf7c014bf1971cabcc9b871de5818278126 (patch) | |
tree | d7331da2db605b16b67920990ae6def5db03dfd9 /src/theory/theory_state.cpp | |
parent | 466520464a8ed862c3a323bb2fbcc92332d9384b (diff) |
Make sets and strings solver states inherit from TheoryState (#4918)
This is towards the new standard for theory solvers.
This PR makes the custom states of sets and strings inherit from the standard base class TheoryState. It also makes a minor change to InferenceManager/SolverState to make sets more in line with the plan for a standard base class InferenceManager.
Followup PRs will establish the official TheoryState classes for all other theories (which in most cases will be an instance of the base class).
Diffstat (limited to 'src/theory/theory_state.cpp')
-rw-r--r-- | src/theory/theory_state.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_state.cpp b/src/theory/theory_state.cpp index bc8e53245..8afe3be96 100644 --- a/src/theory/theory_state.cpp +++ b/src/theory/theory_state.cpp @@ -30,7 +30,7 @@ TheoryState::TheoryState(context::Context* c, { } -void TheoryState::finishInit(eq::EqualityEngine* ee) { d_ee = ee; } +void TheoryState::setEqualityEngine(eq::EqualityEngine* ee) { d_ee = ee; } context::Context* TheoryState::getSatContext() const { return d_context; } |