#include "precomp.hpp" // Precompiled header.
#include <iostream>
#include <functional>
#include <boost/cstdint.hpp>
#include <boost/icl/closed_interval.hpp>
#include <boost/icl/split_interval_set.hpp>

void main()
{
    using namespace std;
    typedef boost::icl::closed_interval<boost::uint16_t, std::less> interval_t;
    typedef boost::icl::split_interval_set<boost::uint16_t, std::less, interval_t> set_t;

    set_t s;

    s.clear();
    s += interval_t(0x0000, 0xffff);
    s += interval_t(0xa000, 0xbfff);
    cout << "BAD:  " << hex << s << endl;

    s.clear();
    s += interval_t(0x0000, 0xfffe);
    s += interval_t(0xa000, 0xbfff);
    cout << "GOOD: " << hex << s << endl;
}