search

ptal / intervallum

Integer interval arithmetic library
Apache License 2.0
17 stars 7 forks source link

Multi-domains operations #14

Open ptal opened 9 years ago

ptal commented 9 years ago

For example, and for genericity purposes, it could be convenient to implement Contains<Interval<Bound>> for Bound, however does it really makes sense?

Another problem is the high number of combination between domains... To avoid this, should we cast less precise domains to more precise ones? But this is problematic for true generic programming and to propose efficient algorithms...

ptal commented 8 years ago

This is a problematic partially resolved by gcollections. However it remains to implement comparison between two non-ground types, such as between Interval and IntervalSet.