Sidereon.GNSS.RTK.RinexArc (Sidereon v2.0.0)

Copy Markdown View Source

A single-frequency RTK arc built from paired RINEX observation handles and an SP3 ephemeris handle.

The resource retains the core-generated arc. Accessors expose the core epoch ordering and observation lists without re-reading either input file.

Summary

Types

Core-generated single-frequency RTK epoch.

t()

Single-frequency RINEX RTK arc resource handle.

Functions

Return the retained epoch count.

Return core-generated epochs in engine order.

Return code-to-phase offsets in the core's deterministic map order.

Return code-to-phase offsets as a map keyed by core ambiguity id.

Return the base-epoch count skipped by the core builder.

Alias for epochs/1, useful when passing the arc to a solver.

Return ambiguity wavelengths in the core's deterministic map order.

Return ambiguity wavelengths as a map keyed by core ambiguity id.

Types

epoch()

@type epoch() :: %{
  :base => [map()],
  :rover => [map()],
  :satellite_positions_m => %{
    required(String.t()) => {float(), float(), float()}
  },
  :base_satellite_positions_m => %{
    required(String.t()) => {float(), float(), float()}
  },
  :rover_satellite_positions_m => %{
    required(String.t()) => {float(), float(), float()}
  },
  optional(:velocity_mps) => {float(), float(), float()} | nil,
  optional(:prediction_time_s) => float() | nil
}

Core-generated single-frequency RTK epoch.

t()

@type t() :: %Sidereon.GNSS.RTK.RinexArc{handle: reference()}

Single-frequency RINEX RTK arc resource handle.

Functions

epoch_count(rinex_arc)

@spec epoch_count(t()) :: non_neg_integer()

Return the retained epoch count.

epochs(rinex_arc)

@spec epochs(t()) :: [epoch()]

Return core-generated epochs in engine order.

offset_pairs(rinex_arc)

@spec offset_pairs(t()) :: [{String.t(), float()}]

Return code-to-phase offsets in the core's deterministic map order.

offsets_m(rinex_arc)

@spec offsets_m(t()) :: %{required(String.t()) => float()}

Return code-to-phase offsets as a map keyed by core ambiguity id.

skipped_epoch_count(rinex_arc)

@spec skipped_epoch_count(t()) :: non_neg_integer()

Return the base-epoch count skipped by the core builder.

to_epochs(arc)

@spec to_epochs(t()) :: [epoch()]

Alias for epochs/1, useful when passing the arc to a solver.

wavelength_pairs(rinex_arc)

@spec wavelength_pairs(t()) :: [{String.t(), float()}]

Return ambiguity wavelengths in the core's deterministic map order.

wavelengths_m(rinex_arc)

@spec wavelengths_m(t()) :: %{required(String.t()) => float()}

Return ambiguity wavelengths as a map keyed by core ambiguity id.