diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-15 22:47:40 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-15 22:47:40 -0800 |
commit | 4538f5fe95758f2507c191ab39175491f24e6f67 (patch) | |
tree | 9b288d3601692488e02c10adebf7f90b227981a0 /src/theory/theory.h | |
parent | 9ee67c0d1180c7cf85fb648b57bb47100db3d633 (diff) |
Removing more miscellaneous throw specifiers. (#1509)
Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.
Diffstat (limited to 'src/theory/theory.h')
-rw-r--r-- | src/theory/theory.h | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index 204c514a9..0571a67b7 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -177,10 +177,13 @@ private: * The pair <id, instance> is assumed to uniquely identify this Theory * w.r.t. the SmtEngine. */ - Theory(TheoryId id, context::Context* satContext, - context::UserContext* userContext, OutputChannel& out, - Valuation valuation, const LogicInfo& logicInfo, - std::string instance = "") throw(); // taking : No default. + Theory(TheoryId id, + context::Context* satContext, + context::UserContext* userContext, + OutputChannel& out, + Valuation valuation, + const LogicInfo& logicInfo, + std::string instance = ""); // taking : No default. /** * This is called at shutdown time by the TheoryEngine, just before @@ -289,13 +292,8 @@ public: return node.getNumChildren() == 0 || theoryOf(node) != theoryId; } - /** - * Returns true if the assertFact queue is empty - */ - bool done() const throw() { - return d_factsHead == d_facts.size(); - } - + /** Returns true if the assertFact queue is empty*/ + bool done() const { return d_factsHead == d_facts.size(); } /** * Destructs a Theory. */ |