FM / interval

/usr/include/boost/numeric/interval

Name	Size	Mode	Actions
compare/	-	0755	rm
detail/	-	0755	rm
ext/	-	0755	rm
arith.hpp	10353	0644	edit dl rm
arith2.hpp	10092	0644	edit dl rm
arith3.hpp	2150	0644	edit dl rm
checking.hpp	2824	0644	edit dl rm
compare.hpp	705	0644	edit dl rm
constants.hpp	3177	0644	edit dl rm
hw_rounding.hpp	2441	0644	edit dl rm
interval.hpp	12198	0644	edit dl rm
io.hpp	1174	0644	edit dl rm
limits.hpp	1747	0644	edit dl rm
policies.hpp	1771	0644	edit dl rm
rounded_arith.hpp	4783	0644	edit dl rm
rounded_transc.hpp	5269	0644	edit dl rm
rounding.hpp	2595	0644	edit dl rm
transc.hpp	7917	0644	edit dl rm
utility.hpp	10741	0644	edit dl rm
utility_fwd.hpp	4589	0644	edit dl rm

Edit: /usr/include/boost/numeric/interval/io.hpp (1174B)

#ifndef BOOST_NUMERIC_INTERVAL_IO_HPP
#define BOOST_NUMERIC_INTERVAL_IO_HPP

#include <boost/numeric/interval/interval.hpp>
#include <boost/numeric/interval/utility.hpp>
#include <ostream>

namespace boost {
namespace numeric {

template<class CharType, class CharTraits, class T, class Policies>
std::basic_ostream<CharType, CharTraits> &operator<<
  (std::basic_ostream<CharType, CharTraits> &stream,
   interval<T, Policies> const &value)
{
  if (empty(value))
    return stream << "[]";
  else
    return stream << '[' << lower(value) << ',' << upper(value) << ']';
}

} // namespace numeric
} // namespace boost

#endif // BOOST_NUMERIC_INTERVAL_IO_HPP

/* Boost interval/io.hpp header file * * This file is only meant to provide a quick * implementation of the output operator. It is * provided for test programs that aren't even * interested in the precision of the results. * A real progam should define its own operators * and never include this header. * * Copyright 2003 Guillaume Melquiond * * Distributed under the Boost Software License, Version 1.0. * (See accompanying file LICENSE_1_0.txt or * copy at http://www.boost.org/LICENSE_1_0.txt) */ #ifndef BOOST_NUMERIC_INTERVAL_IO_HPP #define BOOST_NUMERIC_INTERVAL_IO_HPP #include #include #include namespace boost { namespace numeric { template std::basic_ostream &operator<< (std::basic_ostream &stream, interval const &value) { if (empty(value)) return stream << "[]"; else return stream << '[' << lower(value) << ',' << upper(value) << ']'; } } // namespace numeric } // namespace boost #endif // BOOST_NUMERIC_INTERVAL_IO_HPP