diff options
Diffstat (limited to 'src/options/base_handlers.h')
-rw-r--r-- | src/options/base_handlers.h | 39 |
1 files changed, 19 insertions, 20 deletions
diff --git a/src/options/base_handlers.h b/src/options/base_handlers.h index b036c7e93..874516265 100644 --- a/src/options/base_handlers.h +++ b/src/options/base_handlers.h @@ -35,11 +35,10 @@ class comparator { double d_dbound; bool d_hasLbound; -public: - comparator(int i) throw() : d_lbound(i), d_dbound(0.0), d_hasLbound(true) {} - comparator(long l) throw() : d_lbound(l), d_dbound(0.0), d_hasLbound(true) {} - comparator(double d) throw() : d_lbound(0), d_dbound(d), d_hasLbound(false) {} - + public: + comparator(int i) : d_lbound(i), d_dbound(0.0), d_hasLbound(true) {} + comparator(long l) : d_lbound(l), d_dbound(0.0), d_hasLbound(true) {} + comparator(double d) : d_lbound(0), d_dbound(d), d_hasLbound(false) {} template <class T> void operator()(std::string option, const T& value) { if((d_hasLbound && !(Cmp<T>()(value, T(d_lbound)))) || @@ -52,33 +51,33 @@ public: };/* class comparator */ struct greater : public comparator<std::greater> { - greater(int i) throw() : comparator<std::greater>(i) {} - greater(long l) throw() : comparator<std::greater>(l) {} - greater(double d) throw() : comparator<std::greater>(d) {} + greater(int i) : comparator<std::greater>(i) {} + greater(long l) : comparator<std::greater>(l) {} + greater(double d) : comparator<std::greater>(d) {} };/* struct greater */ struct greater_equal : public comparator<std::greater_equal> { - greater_equal(int i) throw() : comparator<std::greater_equal>(i) {} - greater_equal(long l) throw() : comparator<std::greater_equal>(l) {} - greater_equal(double d) throw() : comparator<std::greater_equal>(d) {} + greater_equal(int i) : comparator<std::greater_equal>(i) {} + greater_equal(long l) : comparator<std::greater_equal>(l) {} + greater_equal(double d) : comparator<std::greater_equal>(d) {} };/* struct greater_equal */ struct less : public comparator<std::less> { - less(int i) throw() : comparator<std::less>(i) {} - less(long l) throw() : comparator<std::less>(l) {} - less(double d) throw() : comparator<std::less>(d) {} + less(int i) : comparator<std::less>(i) {} + less(long l) : comparator<std::less>(l) {} + less(double d) : comparator<std::less>(d) {} };/* struct less */ struct less_equal : public comparator<std::less_equal> { - less_equal(int i) throw() : comparator<std::less_equal>(i) {} - less_equal(long l) throw() : comparator<std::less_equal>(l) {} - less_equal(double d) throw() : comparator<std::less_equal>(d) {} + less_equal(int i) : comparator<std::less_equal>(i) {} + less_equal(long l) : comparator<std::less_equal>(l) {} + less_equal(double d) : comparator<std::less_equal>(d) {} };/* struct less_equal */ struct not_equal : public comparator<std::not_equal_to> { - not_equal(int i) throw() : comparator<std::not_equal_to>(i) {} - not_equal(long l) throw() : comparator<std::not_equal_to>(l) {} - not_equal(double d) throw() : comparator<std::not_equal_to>(d) {} + not_equal(int i) : comparator<std::not_equal_to>(i) {} + not_equal(long l) : comparator<std::not_equal_to>(l) {} + not_equal(double d) : comparator<std::not_equal_to>(d) {} };/* struct not_equal_to */ }/* CVC4::options namespace */ |