diff options
author | Tim King <taking@cs.nyu.edu> | 2018-01-09 06:20:52 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-09 08:20:51 -0600 |
commit | e6c966990ee7d166c421b6ba8ec39ac2e05ee62a (patch) | |
tree | 4310e1345ed7b5a536dd545ddd772c26cd7c1e31 /src/expr/emptyset.cpp | |
parent | 3c6398194b01372720964590b2b07d93590e511d (diff) |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/emptyset.cpp')
-rw-r--r-- | src/expr/emptyset.cpp | 32 |
1 files changed, 10 insertions, 22 deletions
diff --git a/src/expr/emptyset.cpp b/src/expr/emptyset.cpp index 42560fa11..10f03e279 100644 --- a/src/expr/emptyset.cpp +++ b/src/expr/emptyset.cpp @@ -49,38 +49,26 @@ EmptySet& EmptySet::operator=(const EmptySet& es) { return *this; } - -EmptySet::~EmptySet() throw() { - delete d_type; -} - +EmptySet::~EmptySet() { delete d_type; } const SetType& EmptySet::getType() const { return *d_type; } - -bool EmptySet::operator==(const EmptySet& es) const throw() { +bool EmptySet::operator==(const EmptySet& es) const +{ return getType() == es.getType(); } -bool EmptySet::operator!=(const EmptySet& es) const throw() { - return !(*this == es); -} - -bool EmptySet::operator<(const EmptySet& es) const throw() { +bool EmptySet::operator!=(const EmptySet& es) const { return !(*this == es); } +bool EmptySet::operator<(const EmptySet& es) const +{ return getType() < es.getType(); } -bool EmptySet::operator<=(const EmptySet& es) const throw() { +bool EmptySet::operator<=(const EmptySet& es) const +{ return getType() <= es.getType(); } -bool EmptySet::operator>(const EmptySet& es) const throw() { - return !(*this <= es); -} - -bool EmptySet::operator>=(const EmptySet& es) const throw() { - return !(*this < es); -} - - +bool EmptySet::operator>(const EmptySet& es) const { return !(*this <= es); } +bool EmptySet::operator>=(const EmptySet& es) const { return !(*this < es); } }/* CVC4 namespace */ |