sva-samples 0.7.15

Buffers, frames, the f64 machine, the collapse of a law onto a grid, and the measured observations over one
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

// Concern: the range one physics parameter must land in, and the test that it did | Non-concern: which parameter takes which range (each model's own valid()) | IO: (value, Bound) -> bool

/// Every shape the six physics models' parameters are checked against. Each implies finiteness,
/// so a table entry is the whole test for its field.
#[derive(Clone, Copy)]
pub enum Bound {
    Finite,
    Positive,
    NonNegative,
    OpenUnit,
    HalfOpenUnit,
    AtLeast(f64),
    Within(f64, f64),
}

pub fn holds(v: f64, bound: Bound) -> bool {
    v.is_finite()
        && match bound {
            Bound::Finite => true,
            Bound::Positive => v > 0.0,
            Bound::NonNegative => v >= 0.0,
            Bound::OpenUnit => v > 0.0 && v < 1.0,
            Bound::HalfOpenUnit => (0.0..1.0).contains(&v),
            Bound::AtLeast(lo) => v >= lo,
            Bound::Within(lo, hi) => (lo..=hi).contains(&v),
        }
}

pub fn all(fields: &[(f64, Bound)]) -> bool {
    fields.iter().all(|&(v, bound)| holds(v, bound))
}