Module: ppl/ppl Branch: master Commit: 949180cf4e6fe282ddd1a170cada9bf6b816b279 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949180cf4e6fe...
Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sat Mar 28 16:00:01 2009 +0100
Removed useless functions.
---
src/Interval.inlines.hh | 12 ------------ 1 files changed, 0 insertions(+), 12 deletions(-)
diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 566456b..bee5984 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -155,18 +155,6 @@ is_singleton_integer(const T& x) { return is_singleton(x) && is_integer(f_lower(x)); }
-template <typename T1, typename T2> -inline bool -same_object(const T1&, const T2&) { - return false; -} - -template <typename T> -inline bool -same_object(const T& x, const T& y) { - return &x == &y; -} - template <typename T> inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type check_empty_arg(const T& x) {