| 30 } |
30 } |
| 31 |
31 |
| 32 impl<'a, F: Float> Set<Loc<1, F>> for RealInterval<F> { |
32 impl<'a, F: Float> Set<Loc<1, F>> for RealInterval<F> { |
| 33 #[inline] |
33 #[inline] |
| 34 fn contains<I: Instance<Loc<1, F>>>(&self, z: I) -> bool { |
34 fn contains<I: Instance<Loc<1, F>>>(&self, z: I) -> bool { |
| 35 let &Loc([x]) = z.ref_instance(); |
35 z.eval_ref_decompose(|&Loc([x])| { |
| 36 let &[Loc([x0]), Loc([x1])] = &self.0; |
36 let &[Loc([x0]), Loc([x1])] = &self.0; |
| 37 (x0 < x && x < x1) || (x1 < x && x < x0) |
37 (x0 < x && x < x1) || (x1 < x && x < x0) |
| |
38 }) |
| 38 } |
39 } |
| 39 } |
40 } |
| 40 |
41 |
| 41 impl<'a, F: Float> Set<Loc<2, F>> for PlanarSimplex<F> { |
42 impl<'a, F: Float> Set<Loc<2, F>> for PlanarSimplex<F> { |
| 42 #[inline] |
43 #[inline] |