rei-mirrors/Fornjot
1
0
Fork 0
mirror of https://github.com/hannobraun/Fornjot synced 2025-07-16 06:56:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2449 from hannobraun/validate

Browse Source 
Update default validation config; compute values from each other, based on the tolerance
This commit is contained in:
Hanno Braun 2024-08-12 22:03:21 +02:00 committed by GitHub
commit b787d9923c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 32 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
crates/fj-core/src/validation/config.rs
View File

@ -24,12 +24,6 @@ pub struct ValidationConfig {
/// The tolerance value used for intermediate geometry representation
pub tolerance: Tolerance,
/// The minimum distance between distinct objects
///
/// Objects whose distance is less than the value defined in this field, are
/// considered identical.
pub distinct_min_distance: Scalar,
/// The maximum distance between identical objects
///
/// Objects that are considered identical might still have a distance
@ -37,21 +31,41 @@ pub struct ValidationConfig {
/// that distance is less than the one defined in this field, can not be
/// considered identical.
pub identical_max_distance: Scalar,
/// The minimum distance between distinct objects
///
/// Objects whose distance is less than the value defined in this field, are
/// considered identical.
pub distinct_min_distance: Scalar,
}
impl ValidationConfig {
/// Compute validation config from a tolerance value
pub fn from_tolerance(tolerance: impl Into<Tolerance>) -> Self {
let tolerance = tolerance.into();
// This value can't be smaller than the tolerance. If it is, we'll get
// validation errors everywhere, just from numerical noise.
let identical_max_distance = tolerance.inner() * 10.;
// This value can't be smaller than `identical_max_distance`. Otherwise
// we can have distinct points that satisfy this constraint, but must be
// considered identical according to the other.
//
// This factor was chosen pretty arbitrarily and might need to be tuned.
let distinct_min_distance = identical_max_distance * 2.;
Self {
panic_on_error: false,
tolerance,
identical_max_distance,
distinct_min_distance,
}
}
}
impl Default for ValidationConfig {
fn default() -> Self {
Self {
panic_on_error: false,
distinct_min_distance: Scalar::from_f64(5e-7), // 0.5 µm,
tolerance: Tolerance::from_scalar(0.001)
.expect("Tolerance provided is larger than zero"),
// This value was chosen pretty arbitrarily. Seems small enough to
// catch errors. If it turns out it's too small (because it produces
// false positives due to floating-point accuracy issues), we can
// adjust it.
identical_max_distance: Scalar::from_f64(5e-14),
}
Self::from_tolerance(0.001)
}
}