diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-06 15:55:40 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-06 15:55:40 -0800 |
commit | b258ebd1cb08252f8cf7f317c08eadbe1fb8e8fe (patch) | |
tree | ad5a36fc8bad0c95ef7e9538314e81ce683c2cee /src/theory/uf | |
parent | af20fc43b48217ebc402ad0def388e7a21b49c47 (diff) |
Resolving warnings from -Winconsistent-missing-override on clang. (#1563)
Diffstat (limited to 'src/theory/uf')
-rw-r--r-- | src/theory/uf/theory_uf.h | 34 |
1 files changed, 15 insertions, 19 deletions
diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index 269aa63db..6fde4a9af 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -234,34 +234,30 @@ public: ~TheoryUF(); - void setMasterEqualityEngine(eq::EqualityEngine* eq); - void finishInit(); + void setMasterEqualityEngine(eq::EqualityEngine* eq) override; + void finishInit() override; - void check(Effort); - Node expandDefinition(LogicRequest &logicRequest, Node node); - void preRegisterTerm(TNode term); - Node explain(TNode n); + void check(Effort) override; + Node expandDefinition(LogicRequest& logicRequest, Node node) override; + void preRegisterTerm(TNode term) override; + Node explain(TNode n) override; bool collectModelInfo(TheoryModel* m) override; - void ppStaticLearn(TNode in, NodeBuilder<>& learned); - void presolve(); + void ppStaticLearn(TNode in, NodeBuilder<>& learned) override; + void presolve() override; - void addSharedTerm(TNode n); - void computeCareGraph(); + void addSharedTerm(TNode n) override; + void computeCareGraph() override; - void propagate(Effort effort); - Node getNextDecisionRequest( unsigned& priority ); + void propagate(Effort effort) override; + Node getNextDecisionRequest(unsigned& priority) override; - EqualityStatus getEqualityStatus(TNode a, TNode b); + EqualityStatus getEqualityStatus(TNode a, TNode b) override; - std::string identify() const { - return "THEORY_UF"; - } + std::string identify() const override { return "THEORY_UF"; } - eq::EqualityEngine* getEqualityEngine() { - return &d_equalityEngine; - } + eq::EqualityEngine* getEqualityEngine() override { return &d_equalityEngine; } StrongSolverTheoryUF* getStrongSolver() { return d_thss; |