#include <iostream>
#include <string>
#include <math.h>
#include <boost/type_traits/is_same.hpp>
#include <boost/icl/interval_set.hpp>
#include <boost/icl/split_interval_set.hpp>
#include "../toytime.hpp"
#include <boost/icl/rational.hpp>
using namespace std;
using namespace boost;
using namespace boost::icl;
int main()
{
cout << ">>Interval Container Library: Sample interval.cpp <<\n";
cout << "----------------------------------------------------\n";
BOOST_STATIC_ASSERT((
boost::is_same< interval_set<int>::interval_type
, discrete_interval<int> >::value
));
BOOST_STATIC_ASSERT((
boost::is_same< interval_set<float>::interval_type
, continuous_interval<float> >::value
));
BOOST_STATIC_ASSERT((
boost::is_same< interval<int>::type
, discrete_interval<int> >::value
));
BOOST_STATIC_ASSERT((
boost::is_same< interval<float>::type
, continuous_interval<float> >::value
));
interval<int>::type int_interval = interval<int>::closed(3, 7);
interval<double>::type sqrt_interval = interval<double>::right_open(1/sqrt(2.0), sqrt(2.0));
interval<string>::type city_interval = interval<string>::left_open("Barcelona", "Boston");
interval<Time>::type time_interval = interval<Time>::open(Time(monday,8,30), Time(monday,17,20));
cout << "----- Dynamically bounded intervals ----------------------------------------\n";
cout << " discrete_interval<int> : " << int_interval << endl;
cout << "continuous_interval<double>: " << sqrt_interval << " does "
<< string(contains(sqrt_interval, sqrt(2.0))?"":"NOT")
<< " contain sqrt(2)" << endl;
cout << "continuous_interval<string>: " << city_interval << " does "
<< string(contains(city_interval,"Barcelona")?"":"NOT")
<< " contain 'Barcelona'" << endl;
cout << "continuous_interval<string>: " << city_interval << " does "
<< string(contains(city_interval, "Berlin")?"":"NOT")
<< " contain 'Berlin'" << endl;
cout << " discrete_interval<Time> : " << time_interval << "\n\n";
interval<rational<int> >::type unit_interval
= interval<rational<int> >::right_open(rational<int>(0), rational<int>(1));
interval_set<rational<int> > unit_set(unit_interval);
interval_set<rational<int> > ratio_set(unit_set);
ratio_set -= rational<int>(1,3);
cout << "----- Manipulation of single values in continuous sets ---------------------\n";
cout << "1/3 subtracted from [0..1) : " << ratio_set << endl;
cout << "The set does " << string(contains(ratio_set, rational<int>(1,3))?"":"NOT")
<< " contain '1/3'" << endl;
ratio_set ^= unit_set;
cout << "Flipping the holey set : " << ratio_set << endl;
cout << "yields the subtracted : 1/3\n\n";
split_interval_set<int, std::less, closed_interval<Time> > intuitive_times;
intuitive_times += closed_interval<Time>(Time(monday, 9,00), Time(monday, 10,59));
intuitive_times += closed_interval<Time>(Time(monday, 10,00), Time(monday, 11,59));
cout << "----- Here we are NOT using the library default for intervals --------------\n";
cout << intuitive_times << endl;
return 0;
}