[GIT] ppl/ppl(master): Remove unimplemented and unused functions.

Module: ppl/ppl Branch: master Commit: 87fec489bde309305fecfb7d8a75d111c488e948 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde30...
Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sat Mar 28 17:22:28 2009 +0100
Remove unimplemented and unused 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 bee5984..84b17ce 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -137,18 +137,6 @@ f_is_empty_lazy(const T& x) {
} // namespace Interval_NS
-inline bool -is_integer(const char*) { - // FIXME(0.10.1) - return false; -} - -inline bool -is_not_a_number(const char*) { - // FIXME(0.10.1) - return false; -} - template <typename T> inline typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, bool>::type is_singleton_integer(const T& x) {
participants (1)
-
Abramo Bagnara