comparison: src/sets.rs
src/sets.rs
- branch
- dev
- changeset 164
- fd9dba51afd3
- parent 163
- b4a47e8e80d1
- child 171
- fa8df5a14486
equal
deleted
inserted
replaced
| 163:b4a47e8e80d1 | 164:fd9dba51afd3 |
|---|---|
| 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 U : Space<Decomp=BasicDecomposition>, | 53 U : Space<Decomp=BasicDecomposition>, |
| 54 U::OwnedSpace : PartialOrd<Idx>, | 54 U::Principal : PartialOrd<Idx>, |
| 55 Idx : PartialOrd + PartialOrd<U::OwnedSpace>, | 55 Idx : PartialOrd + PartialOrd<U::Principal>, |
| 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 } |
