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/sets | |
parent | af20fc43b48217ebc402ad0def388e7a21b49c47 (diff) |
Resolving warnings from -Winconsistent-missing-override on clang. (#1563)
Diffstat (limited to 'src/theory/sets')
-rw-r--r-- | src/theory/sets/theory_sets.h | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/src/theory/sets/theory_sets.h b/src/theory/sets/theory_sets.h index 1f0fbdd1f..a246903a1 100644 --- a/src/theory/sets/theory_sets.h +++ b/src/theory/sets/theory_sets.h @@ -46,36 +46,36 @@ public: ~TheorySets(); - void addSharedTerm(TNode); + void addSharedTerm(TNode) override; - void check(Effort); - - bool needsCheckLastEffort(); + void check(Effort) override; + + bool needsCheckLastEffort() override; bool collectModelInfo(TheoryModel* m) override; - void computeCareGraph(); + void computeCareGraph() override; + + Node explain(TNode) override; - Node explain(TNode); + EqualityStatus getEqualityStatus(TNode a, TNode b) override; - EqualityStatus getEqualityStatus(TNode a, TNode b); + Node getModelValue(TNode) override; - Node getModelValue(TNode); + std::string identify() const override { return "THEORY_SETS"; } - std::string identify() const { return "THEORY_SETS"; } + void preRegisterTerm(TNode node) override; - void preRegisterTerm(TNode node); + Node expandDefinition(LogicRequest& logicRequest, Node n) override; - Node expandDefinition(LogicRequest &logicRequest, Node n); + PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions) override; - PPAssertStatus ppAssert(TNode in, SubstitutionMap& outSubstitutions); + void presolve() override; - void presolve(); + void propagate(Effort) override; - void propagate(Effort); + void setMasterEqualityEngine(eq::EqualityEngine* eq) override; - void setMasterEqualityEngine(eq::EqualityEngine* eq); - bool isEntailed( Node n, bool pol ); };/* class TheorySets */ |