comparison: src/sets.rs
src/sets.rs
- branch
- dev
- changeset 163
- b4a47e8e80d1
- parent 155
- 45d03cf92c23
- child 164
- fd9dba51afd3
equal
deleted
inserted
replaced
| 162:bea0c3841ced | 163:b4a47e8e80d1 |
|---|---|
| 48 | 48 |
| 49 macro_rules! impl_ranges { | 49 macro_rules! impl_ranges { |
| 50 ($($range:ident),*) => { $( | 50 ($($range:ident),*) => { $( |
| 51 impl<U,Idx> Set<U> for $range<Idx> | 51 impl<U,Idx> Set<U> for $range<Idx> |
| 52 where | 52 where |
| 53 Idx : PartialOrd<U>, | 53 U : Space<Decomp=BasicDecomposition>, |
| 54 U : PartialOrd<Idx> + Space<Decomp=BasicDecomposition> + Clone, | 54 U::OwnedSpace : PartialOrd<Idx>, |
| 55 Idx : PartialOrd | 55 Idx : PartialOrd + PartialOrd<U::OwnedSpace>, |
| 56 { | 56 { |
| 57 #[inline] | 57 #[inline] |
| 58 fn contains<I : Instance<U>>(&self, item : I) -> bool { | 58 fn contains<I : Instance<U>>(&self, item : I) -> bool { |
| 59 item.eval(|x| $range::contains(&self, x)) | 59 item.eval(|x| $range::contains(&self, x)) |
| 60 } | 60 } |
