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/logic_info.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/logic_info.cpp')
-rw-r--r-- | src/theory/logic_info.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index bf1a9bf65..a458eec30 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -47,7 +47,7 @@ LogicInfo::LogicInfo() } } -LogicInfo::LogicInfo(std::string logicString) throw(IllegalArgumentException) +LogicInfo::LogicInfo(std::string logicString) : d_logicString(""), d_theories(THEORY_LAST, false), d_sharingTheories(0), @@ -63,7 +63,7 @@ LogicInfo::LogicInfo(std::string logicString) throw(IllegalArgumentException) lock(); } -LogicInfo::LogicInfo(const char* logicString) throw(IllegalArgumentException) +LogicInfo::LogicInfo(const char* logicString) : d_logicString(""), d_theories(THEORY_LAST, false), d_sharingTheories(0), @@ -327,7 +327,8 @@ std::string LogicInfo::getLogicString() const { return d_logicString; } -void LogicInfo::setLogicString(std::string logicString) throw(IllegalArgumentException) { +void LogicInfo::setLogicString(std::string logicString) +{ PrettyCheckArgument(!d_locked, *this, "This LogicInfo is locked, and cannot be modified"); for(TheoryId id = THEORY_FIRST; id < THEORY_LAST; ++id) { |