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.h | |
parent | 3c6398194b01372720964590b2b07d93590e511d (diff) |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/emptyset.h')
-rw-r--r-- | src/expr/emptyset.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/expr/emptyset.h b/src/expr/emptyset.h index 8cb2bbf41..9fcab7a55 100644 --- a/src/expr/emptyset.h +++ b/src/expr/emptyset.h @@ -33,25 +33,25 @@ namespace CVC4 { namespace CVC4 { class CVC4_PUBLIC EmptySet { -public: + public: /** * Constructs an emptyset of the specified type. Note that the argument * is the type of the set itself, NOT the type of the elements. */ EmptySet(const SetType& setType); - ~EmptySet() throw(); + ~EmptySet(); EmptySet(const EmptySet& other); EmptySet& operator=(const EmptySet& other); const SetType& getType() const; - bool operator==(const EmptySet& es) const throw(); - bool operator!=(const EmptySet& es) const throw(); - bool operator<(const EmptySet& es) const throw(); - bool operator<=(const EmptySet& es) const throw(); - bool operator>(const EmptySet& es) const throw() ; - bool operator>=(const EmptySet& es) const throw(); + bool operator==(const EmptySet& es) const; + bool operator!=(const EmptySet& es) const; + bool operator<(const EmptySet& es) const; + bool operator<=(const EmptySet& es) const; + bool operator>(const EmptySet& es) const; + bool operator>=(const EmptySet& es) const; -private: + private: /** Pointer to the SetType node. This is never NULL. */ SetType* d_type; |