diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-08 22:04:02 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-08 22:04:02 -0800 |
commit | 3c6398194b01372720964590b2b07d93590e511d (patch) | |
tree | 1e1f40d79eeabe8b30524fe96d279a4f3d5b8fd7 /src/util/abstract_value.h | |
parent | 707e27e61addafdbcce5e7b6d32a61985f563dfb (diff) |
Removing more miscellaneous throw specifiers. (#1488)
Removing more miscellaneous throw specifiers.
Diffstat (limited to 'src/util/abstract_value.h')
-rw-r--r-- | src/util/abstract_value.h | 35 |
1 files changed, 12 insertions, 23 deletions
diff --git a/src/util/abstract_value.h b/src/util/abstract_value.h index 9c8e1cb37..2fbc26bec 100644 --- a/src/util/abstract_value.h +++ b/src/util/abstract_value.h @@ -27,36 +27,25 @@ namespace CVC4 { class CVC4_PUBLIC AbstractValue { const Integer d_index; -public: + public: + AbstractValue(Integer index); - AbstractValue(Integer index) throw(IllegalArgumentException); - - ~AbstractValue() throw() {} - - const Integer& getIndex() const throw() { - return d_index; - } - - bool operator==(const AbstractValue& val) const throw() { + const Integer& getIndex() const { return d_index; } + bool operator==(const AbstractValue& val) const + { return d_index == val.d_index; } - bool operator!=(const AbstractValue& val) const throw() { - return !(*this == val); - } - - bool operator<(const AbstractValue& val) const throw() { + bool operator!=(const AbstractValue& val) const { return !(*this == val); } + bool operator<(const AbstractValue& val) const + { return d_index < val.d_index; } - bool operator<=(const AbstractValue& val) const throw() { + bool operator<=(const AbstractValue& val) const + { return d_index <= val.d_index; } - bool operator>(const AbstractValue& val) const throw() { - return !(*this <= val); - } - bool operator>=(const AbstractValue& val) const throw() { - return !(*this < val); - } - + bool operator>(const AbstractValue& val) const { return !(*this <= val); } + bool operator>=(const AbstractValue& val) const { return !(*this < val); } };/* class AbstractValue */ std::ostream& operator<<(std::ostream& out, const AbstractValue& val) CVC4_PUBLIC; |