Re: [boost] Review Request: Boost.Itl; The Interval Template Library

Subject: Re: [boost] Review Request: Boost.Itl; The Interval Template Library
From: Jeff Flinn (TriumphSprint2000_at_[hidden])
Date: 2009-09-25 08:19:00

Jeff Flinn wrote:
> Joachim Faulhaber wrote:

...

>> map& map::add(const value_type&);
>>
>> and then an overloaded member function template
>>
>> private:
>> template<class Combiner>
>> map& map::add(const value_type&);
>>
>> so I changed the names of those private member
>> function templates adding a leading underscore '_add'.
>> The code looses some simplicity but it compiles and
>> works with msvc and gcc.
>>
>> I hope this works for the warrior too and he can be
>> appeased soon ;-)
> 
> Yep, that worked for both add & subtract private methods. I now get a 
> complete compile, of course that's just with the #include 
> <boost/itl/split_interval_map.hpp>. Now to actually instantiate some 
> code. :-).

Ok, I get an "ambiguous use of partial specialization" compiler error 
when I add the last line below:

{
        typedef boost::itl::interval_map<int, int> OverlapCounterT;

     OverlapCounterT overlap_counter;
     boost::itl::interval<int> itv;
     itv = boost::itl::interval<int>::rightopen(4,8);

     overlap_counter += 
std::make_pair(boost::itl::interval<int>::rightopen(4,8), 1);
}

the compiler error text is:

Error   : ambiguous use of partial specialization
  (point of instantiation: 'CoverageGraphIntervalsTest::testTopology()')
   (instantiating: 
'boost::enable_if<boost::itl::is_intra_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::itl::interval_map<int, int, boost::itl::partial_absorber, 
std::less, boost::itl::inplace_plus, boost::itl::inplace_et, 
boost::itl::interval, std::allocator>>')
    (instantiating: 
'boost::itl::is_intra_derivative<boost::itl::interval_map<int, int, 
boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>')
     (instantiating: 
'boost::mpl::or_<boost::mpl::and_<boost::itl::is_interval_set<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>>, 
boost::itl::is_interval_set_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::mpl::bool_<true>, boost::mpl::bool_<true>, 
boost::mpl::bool_<true>>, 
boost::mpl::and_<boost::itl::is_interval_map<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>>, 
boost::itl::is_interval_map_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::mpl::bool_<true>, boost::mpl::bool_<true>, 
boost::mpl::bool_<true>>, boost::mpl::bool_<false>, 
boost::mpl::bool_<false>, boost::mpl::bool_<false>>')
      (instantiating: 'boost::mpl::aux::or_impl<false, 
boost::mpl::and_<boost::itl::is_interval_map<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>>, 
boost::itl::is_interval_map_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::mpl::bool_<true>, boost::mpl::bool_<true>, 
boost::mpl::bool_<true>>, boost::mpl::bool_<false>, 
boost::mpl::bool_<false>, boost::mpl::bool_<false>>')
       (instantiating: 
'boost::mpl::and_<boost::itl::is_interval_map<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>>, 
boost::itl::is_interval_map_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::mpl::bool_<true>, boost::mpl::bool_<true>, boost::mpl::bool_<true>>')
        (instantiating: 'boost::mpl::aux::and_impl<true, 
boost::itl::is_interval_map_derivative<boost::itl::interval_map<int, 
int, boost::itl::partial_absorber, std::less, boost::itl::inplace_plus, 
boost::itl::inplace_et, boost::itl::interval, std::allocator>, 
std::pair<boost::itl::interval<int, std::less>, int>>, 
boost::mpl::bool_<true>, boost::mpl::bool_<true>, boost::mpl::bool_<true>>')
and.hpp line 28           >

Jeff