pub fn fde_float_epoch(
source: &dyn ObservableEphemerisSource,
epoch: FloatEpoch,
initial_state: FloatState,
solve_config: FloatSolveConfig,
raim_config: RaimConfig,
) -> Result<RaimFdeResult, RaimFdeError>Expand description
Run PPP snapshot fault detection and exclusion for one float epoch.
The loop solves the current observation set, runs the global RAIM test with per-satellite identification, excludes the most likely faulty satellite, and repeats until RAIM passes or exclusion would leave no positive redundancy.