src/fe_model/p2_local_model.rs

branch
dev
changeset 133
2b13f8a0c8ba
parent 127
212f75931da0
child 136
22fd33834ab7
child 171
fa8df5a14486
--- a/src/fe_model/p2_local_model.rs	Mon May 12 19:30:41 2025 -0500
+++ b/src/fe_model/p2_local_model.rs	Mon May 12 20:40:14 2025 -0500
@@ -32,9 +32,10 @@
 impl<'a, F: Float> Set<Loc<1, F>> for RealInterval<F> {
     #[inline]
     fn contains<I: Instance<Loc<1, F>>>(&self, z: I) -> bool {
-        let &Loc([x]) = z.ref_instance();
-        let &[Loc([x0]), Loc([x1])] = &self.0;
-        (x0 < x && x < x1) || (x1 < x && x < x0)
+        z.eval_ref_decompose(|&Loc([x])| {
+            let &[Loc([x0]), Loc([x1])] = &self.0;
+            (x0 < x && x < x1) || (x1 < x && x < x0)
+        })
     }
 }
 

mercurial