/* 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 <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 |