Per-satellite integrity and accuracy model without a satellite identity.
Sigmas and nominal bias are meters. Optional effective sigmas let callers
pass already-computed local integrity and accuracy range sigmas. :p_sat is
the prior satellite-fault probability.
Summary
Functions
Build a per-satellite ISM model.