diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-02 20:08:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-02 20:08:53 -0500 |
| commit | 0dec323ac1b45ce1ca194e9bb2a335c8def525d2 (patch) | |
| tree | c201933c725ddfd7f68a1e03db8e4f85242d0d6c /src/theory/quantifiers/theory_quantifiers.h | |
| parent | be58c8ead1d36ab3625faf848b2ebdce8d5de8a9 (diff) | |
Remove miscellaneous dead and unused code from quantifiers (#2121)
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.h')
| -rw-r--r-- | src/theory/quantifiers/theory_quantifiers.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers/theory_quantifiers.h b/src/theory/quantifiers/theory_quantifiers.h index 2eb3f70be..074e288c6 100644 --- a/src/theory/quantifiers/theory_quantifiers.h +++ b/src/theory/quantifiers/theory_quantifiers.h @@ -39,9 +39,6 @@ class TheoryQuantifiers : public Theory { const LogicInfo& logicInfo); ~TheoryQuantifiers(); - void setMasterEqualityEngine(eq::EqualityEngine* eq) override; - void addSharedTerm(TNode t) override; - void notifyEq(TNode lhs, TNode rhs); /** finish initialization */ void finishInit() override; void preRegisterTerm(TNode n) override; @@ -49,7 +46,6 @@ class TheoryQuantifiers : public Theory { void ppNotifyAssertions(const std::vector<Node>& assertions) override; void check(Effort e) override; Node getNextDecisionRequest(unsigned& priority) override; - Node getValue(TNode n); bool collectModelInfo(TheoryModel* m) override; void shutdown() override {} std::string identify() const override @@ -64,7 +60,6 @@ class TheoryQuantifiers : public Theory { private: void assertUniversal( Node n ); void assertExistential( Node n ); - void computeCareGraph() override; /** number of instantiations */ int d_numInstantiations; int d_baseDecLevel; |