| 160 config: &InsertionConfig<F>, |
160 config: &InsertionConfig<F>, |
| 161 ) -> bool |
161 ) -> bool |
| 162 where |
162 where |
| 163 M: MinMaxMapping<Domain, F>; |
163 M: MinMaxMapping<Domain, F>; |
| 164 |
164 |
| 165 /// TODO: document this |
|
| 166 fn target_bounds(&self, τ: F, ε: F) -> Option<Bounds<F>>; |
|
| 167 |
|
| 168 /// Returns a scaling factor for the tolerance sequence. |
165 /// Returns a scaling factor for the tolerance sequence. |
| 169 /// |
166 /// |
| 170 /// Typically this is the regularisation parameter. |
167 /// Typically this is the regularisation parameter. |
| 171 fn tolerance_scaling(&self) -> F; |
168 fn tolerance_scaling(&self) -> F; |
| 172 } |
169 } |
| 319 || d.has_lower_bound( |
316 || d.has_lower_bound( |
| 320 keep_above, |
317 keep_above, |
| 321 refinement_tolerance, |
318 refinement_tolerance, |
| 322 config.refinement.max_steps, |
319 config.refinement.max_steps, |
| 323 )); |
320 )); |
| 324 } |
|
| 325 |
|
| 326 fn target_bounds(&self, τ: F, ε: F) -> Option<Bounds<F>> { |
|
| 327 let τα = τ * self.α(); |
|
| 328 Some(Bounds(τα - ε, τα + ε)) |
|
| 329 } |
321 } |
| 330 |
322 |
| 331 fn tolerance_scaling(&self) -> F { |
323 fn tolerance_scaling(&self) -> F { |
| 332 self.α() |
324 self.α() |
| 333 } |
325 } |
| 578 || d.has_lower_bound( |
570 || d.has_lower_bound( |
| 579 keep_above, |
571 keep_above, |
| 580 refinement_tolerance, |
572 refinement_tolerance, |
| 581 config.refinement.max_steps, |
573 config.refinement.max_steps, |
| 582 )); |
574 )); |
| 583 } |
|
| 584 |
|
| 585 fn target_bounds(&self, τ: F, ε: F) -> Option<Bounds<F>> { |
|
| 586 let τα = τ * self.α(); |
|
| 587 Some(Bounds(-τα - ε, τα + ε)) |
|
| 588 } |
575 } |
| 589 |
576 |
| 590 fn tolerance_scaling(&self) -> F { |
577 fn tolerance_scaling(&self) -> F { |
| 591 self.α() |
578 self.α() |
| 592 } |
579 } |