Mercurial > repos > alg_tools / file diff

--- a/src/bounds.rs	Thu Mar 19 18:21:40 2026 -0500
+++ b/src/bounds.rs	Wed Apr 22 23:41:59 2026 -0500
@@ -9,12 +9,12 @@
 
 /// Trait for globally analysing a property `A` of a [`Mapping`].
 ///
-/// Typically `A` is an [`Aggregator`][super::aggregator::Aggregator] such as
-/// [`Bounds`][super::aggregator::Bounds].
+/// Typically `A` is an [`Aggregator`][super::bisection_tree::Aggregator]
+/// such as [`Bounds`].
 pub trait GlobalAnalysis<F: Num, A> {
     /// Perform global analysis of the property `A` of `Self`.
     ///
-    /// As an example, in the case of `A` being [`Bounds`][super::aggregator::Bounds],
+    /// As an example, in the case of `A` being [`Bounds`],
     /// this function will return global upper and lower bounds for the mapping
     /// represented by `self`.
     fn global_analysis(&self) -> A;
@@ -28,15 +28,14 @@
 //     }
 // }
 
-/// Trait for locally analysing a property `A` of a [`Mapping`] (implementing [`Support`])
+/// Trait for locally analysing a property `A` of a [`Mapping`] (implementing [`super::bisection_tree::Support`])
 /// within a [`Cube`].
 ///
-/// Typically `A` is an [`Aggregator`][super::aggregator::Aggregator] such as
-/// [`Bounds`][super::aggregator::Bounds].
+/// Typically `A` is an [`Aggregator`][super::bisection_tree::Aggregator] such as [`Bounds`].
 pub trait LocalAnalysis<F: Num, A, const N: usize>: GlobalAnalysis<F, A> {
     /// Perform local analysis of the property `A` of `Self`.
     ///
-    /// As an example, in the case of `A` being [`Bounds`][super::aggregator::Bounds],
+    /// As an example, in the case of `A` being [`Bounds`],
     /// this function will return upper and lower bounds within `cube` for the mapping
     /// represented by `self`.
     fn local_analysis(&self, cube: &Cube<N, F>) -> A;