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.cpp | |
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.cpp')
-rw-r--r-- | src/theory/theory.cpp | 46 |
1 files changed, 24 insertions, 22 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 8509e84ab..069767968 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -51,28 +51,30 @@ std::ostream& operator<<(std::ostream& os, Theory::Effort level){ return os; }/* ostream& operator<<(ostream&, Theory::Effort) */ - -Theory::Theory(TheoryId id, context::Context* satContext, - context::UserContext* userContext, OutputChannel& out, - Valuation valuation, const LogicInfo& logicInfo, - std::string name) throw() - : d_id(id) - , d_instanceName(name) - , d_satContext(satContext) - , d_userContext(userContext) - , d_logicInfo(logicInfo) - , d_facts(satContext) - , d_factsHead(satContext, 0) - , d_sharedTermsIndex(satContext, 0) - , d_careGraph(NULL) - , d_quantEngine(NULL) - , d_extTheory(NULL) - , d_checkTime(getFullInstanceName() + "::checkTime") - , d_computeCareGraphTime(getFullInstanceName() + "::computeCareGraphTime") - , d_sharedTerms(satContext) - , d_out(&out) - , d_valuation(valuation) - , d_proofsEnabled(false) +Theory::Theory(TheoryId id, + context::Context* satContext, + context::UserContext* userContext, + OutputChannel& out, + Valuation valuation, + const LogicInfo& logicInfo, + std::string name) + : d_id(id), + d_instanceName(name), + d_satContext(satContext), + d_userContext(userContext), + d_logicInfo(logicInfo), + d_facts(satContext), + d_factsHead(satContext, 0), + d_sharedTermsIndex(satContext, 0), + d_careGraph(NULL), + d_quantEngine(NULL), + d_extTheory(NULL), + d_checkTime(getFullInstanceName() + "::checkTime"), + d_computeCareGraphTime(getFullInstanceName() + "::computeCareGraphTime"), + d_sharedTerms(satContext), + d_out(&out), + d_valuation(valuation), + d_proofsEnabled(false) { smtStatisticsRegistry()->registerStat(&d_checkTime); smtStatisticsRegistry()->registerStat(&d_computeCareGraphTime); |