Boost logo

Boost :

Subject: Re: [boost] [Boost-users] [boost-users][ICL] ICL Compilation errors. Ticket #5207
From: John Reid (j.reid_at_[hidden])
Date: 2011-03-01 04:59:57


On 28/02/11 19:23, Joachim Faulhaber wrote:
> Ok, lookup of elements via 'find' or check for containedness via
> 'contains' can be implemented without too much difficulties. For
> statically bounded intervals of continuous domain types I am currently
> adding a function icl::unit_closure. Unit closure is the smallest
> interval for a value x that can be constructed from x using
> incrementation or decrementation. For numeric domain types
> unit_closure(x) always has a length of 1. For discrete domain_types
> unit_closure yields the same intervals that function icl::singleton
> currently computes.
>
> Using function icl::unit_closure I am able to implement icl::find and
> icl::contains and icl::intersects on element types.
>
> I will probably commit the code and related tests to the trunk today.
>
Fantastic. Thanks,
John.


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk