diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-05 14:53:47 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-05 14:53:47 -0600 |
| commit | ea30ab14a8a5093e198e853d422dffd13b52275b (patch) | |
| tree | 282e300792409c557a55b4c10c2760e657878de5 /src/theory/quantifiers_engine.h | |
| parent | 2bfc07aa99484fde9d86d27efd0bee48a26a8362 (diff) | |
Minor cleaning of quantifiers engine (#5858)
This member is currently unused.
Diffstat (limited to 'src/theory/quantifiers_engine.h')
| -rw-r--r-- | src/theory/quantifiers_engine.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index b7a1df8a6..d8f94f864 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -201,8 +201,6 @@ public: void markRelevant(Node q); /** has added lemma */ bool hasAddedLemma() const; - /** get current q effort */ - QuantifiersModule::QEffort getCurrentQEffort() { return d_curr_effort_level; } /** get number of waiting lemmas */ unsigned getNumLemmasWaiting() { return d_lemmas_waiting.size(); } /** get needs check */ @@ -350,8 +348,6 @@ public: */ std::unique_ptr<quantifiers::QuantifiersModules> d_qmodules; //------------- temporary information during check - /** current effort level */ - QuantifiersModule::QEffort d_curr_effort_level; /** has added lemma this round */ bool d_hasAddedLemma; //------------- end temporary information during check |