comparison: src/fe_model/p2_local_model.rs
src/fe_model/p2_local_model.rs
- branch
- dev
- changeset 136
- 22fd33834ab7
- parent 133
- 2b13f8a0c8ba
equal
deleted
inserted
replaced
| 133:2b13f8a0c8ba | 136:22fd33834ab7 |
|---|---|
| 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 z.eval_ref_decompose(|&Loc([x])| { | 35 z.eval(|&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 } |
