SYMBOL INDEX (142 symbols across 17 files)

FILE: dashboard/src/Dashboard.tsx
  function Dashboard (line 15) | function Dashboard() {
  function getActualLocation (line 121) | function getActualLocation(): google.maps.LatLngLiteral | null {

FILE: dashboard/src/TrackedSatelliteInformation.tsx
  function TrackedSatelliteInformation (line 19) | function TrackedSatelliteInformation({
  function toEmoji (line 61) | function toEmoji(value: boolean): string {
  function toHoursMinutesSeconds (line 70) | function toHoursMinutesSeconds(duration: number): string {
  function LineChart_ (line 83) | function LineChart_({ data, title }: { data: number[]; title: string }) {
  function CorrelationChart (line 110) | function CorrelationChart({ data }: { data: number[][] }) {
  function CorrelationDot (line 140) | function CorrelationDot({ cx, cy }: DotProps) {

FILE: dashboard/src/http_types.ts
  type HttpData (line 9) | interface HttpData {
  type GeodeticSolution (line 17) | interface GeodeticSolution {
  type GeodeticCoordinates (line 24) | interface GeodeticCoordinates {
  type TrackedSatellite (line 32) | interface TrackedSatellite {
  type UntrackedSatellite (line 46) | interface UntrackedSatellite {

FILE: gpsreceiver/gpsreceiver/acquirer.py
  class Acquisition (line 27) | class Acquisition:
  class Acquirer (line 61) | class Acquirer(ABC):
    method __init__ (line 68) | def __init__(self) -> None:
    method handle_1ms_of_samples (line 84) | def handle_1ms_of_samples(
    method untracked_satellites (line 111) | def untracked_satellites(self) -> list[UntrackedSatellite]:
    method _get_acquisition (line 122) | def _get_acquisition(self) -> Acquisition | None:
    method _get_next_acquisition_target (line 127) | def _get_next_acquisition_target(self) -> SatelliteId | None:
  class MainProcessAcquirer (line 145) | class MainProcessAcquirer(Acquirer):
    method _get_acquisition (line 152) | def _get_acquisition(self) -> Acquisition | None:
  class SubprocessAcquirer (line 160) | class SubprocessAcquirer(Acquirer):
    method __init__ (line 167) | def __init__(self) -> None:
    method _get_acquisition (line 186) | def _get_acquisition(self) -> Acquisition | None:
  function _run_subprocess (line 207) | def _run_subprocess(connection: Connection) -> None:
  function _acquire_satellite (line 234) | def _acquire_satellite(
  function _acquire_satellite_at_frequency_shifts (line 284) | def _acquire_satellite_at_frequency_shifts(

FILE: gpsreceiver/gpsreceiver/antenna.py
  class Antenna (line 15) | class Antenna(ABC):
    method __init__ (line 21) | def __init__(self, receiver: Receiver) -> None:
    method start (line 25) | def start(self) -> None:
  class FileAntenna (line 34) | class FileAntenna(Antenna):
    method __init__ (line 41) | def __init__(
    method start (line 52) | def start(self) -> None:
    method _sample_1ms (line 56) | def _sample_1ms(self) -> OneMsOfSamples:
  class RtlSdrAntenna (line 82) | class RtlSdrAntenna(Antenna):
    method __init__ (line 88) | def __init__(self, receiver: Receiver, gain: int) -> None:
    method start (line 100) | def start(self) -> None:
    method _on_samples (line 113) | def _on_samples(self, samples: np.ndarray, _: RtlSdr) -> None:

FILE: gpsreceiver/gpsreceiver/http_types.py
  class GeodeticCoordinates (line 11) | class GeodeticCoordinates(BaseModel):
  class GeodeticSolution (line 19) | class GeodeticSolution(BaseModel):
  class TrackedSatellite (line 37) | class TrackedSatellite(BaseModel):
    method serialize_correlations (line 80) | def serialize_correlations(self, correlations: list[complex]) -> list[...
  class UntrackedSatellite (line 84) | class UntrackedSatellite(BaseModel):
  class HttpData (line 94) | class HttpData(BaseModel):

FILE: gpsreceiver/gpsreceiver/pipeline.py
  class Pipeline (line 11) | class Pipeline:
    method __init__ (line 19) | def __init__(self, acquisition: Acquisition, world: World) -> None:
    method get_tracked_satellite (line 32) | def get_tracked_satellite(self, time: UtcTimestamp) -> TrackedSatellite:
    method handle_1ms_of_samples (line 47) | def handle_1ms_of_samples(self, samples: OneMsOfSamples) -> None:

FILE: gpsreceiver/gpsreceiver/prn_codes.py
  function _lfsr (line 21) | def _lfsr(outputs: list[int], taps: list[int]) -> Iterator[int]:

FILE: gpsreceiver/gpsreceiver/pseudobit_integrator.py
  class PseudobitIntegrator (line 33) | class PseudobitIntegrator:
    method __init__ (line 45) | def __init__(
    method bit_phase (line 58) | def bit_phase(self) -> BitPhase | None:
    method handle_pseudobit (line 61) | def handle_pseudobit(self, pseudobit: Pseudobit) -> None:
    method _determine_bit_phase (line 81) | def _determine_bit_phase(self) -> None:
    method _all_subframes_start_with_preamble (line 112) | def _all_subframes_start_with_preamble(
    method _resolve_bit (line 136) | def _resolve_bit(self, pseudobit: Pseudobit) -> Bit:
  class UnknownBitPhaseError (line 148) | class UnknownBitPhaseError(Exception):

FILE: gpsreceiver/gpsreceiver/pseudosymbol_integrator.py
  class PseudosymbolIntegrator (line 30) | class PseudosymbolIntegrator:
    method __init__ (line 47) | def __init__(
    method bit_boundary_found (line 56) | def bit_boundary_found(self) -> bool:
    method handle_pseudosymbol (line 59) | def handle_pseudosymbol(self, pseudosymbol: Pseudosymbol) -> None:
    method _find_bit_boundary (line 86) | def _find_bit_boundary(self) -> None:
  function _chunks (line 112) | def _chunks[T](elements: list[T], chunk_size: int) -> list[list[T]]:

FILE: gpsreceiver/gpsreceiver/receiver.py
  class Receiver (line 32) | class Receiver:
    method __init__ (line 33) | def __init__(self, acquirer: Acquirer, *, run_http_server: bool) -> None:
    method handle_1ms_of_samples (line 56) | def handle_1ms_of_samples(self, samples: OneMsOfSamples) -> None:
    method _drop_satellite (line 108) | def _drop_satellite(self, satellite_id: SatelliteId) -> None:
    method _get_http_data (line 117) | def _get_http_data(self, time: UtcTimestamp) -> HttpData:
  function _run_http_subprocess (line 128) | def _run_http_subprocess(queue: Queue) -> None:
  function _ecef_to_geodetic (line 168) | def _ecef_to_geodetic(ecef: EcefCoordinates) -> GeodeticCoordinates:

FILE: gpsreceiver/gpsreceiver/subframe_decoder.py
  class SubframeDecoder (line 28) | class SubframeDecoder:
    method __init__ (line 35) | def __init__(self, satellite_id: SatelliteId, world: World) -> None:
    method count (line 43) | def count(self) -> int:
    method handle_bits (line 46) | def handle_bits(self, bits: list[Bit]) -> None:
  class _SubframeDecoder (line 55) | class _SubframeDecoder:
    method __init__ (line 63) | def __init__(self, transmitted: list[Bit]) -> None:
    method decode (line 67) | def decode(self) -> Subframe:
    method _decode_telemetry (line 90) | def _decode_telemetry(self) -> None:
    method _decode_handover (line 108) | def _decode_handover(self) -> Handover:
    method _decode_subframe_1 (line 126) | def _decode_subframe_1(self, handover: Handover) -> Subframe1:
    method _decode_subframe_2 (line 170) | def _decode_subframe_2(self, handover: Handover) -> Subframe2:
    method _decode_subframe_3 (line 204) | def _decode_subframe_3(self, handover: Handover) -> Subframe3:
    method _decode_subframe_4 (line 233) | def _decode_subframe_4(self, handover: Handover) -> Subframe4:
    method _decode_subframe_5 (line 237) | def _decode_subframe_5(self, handover: Handover) -> Subframe5:
    method _get_bit (line 241) | def _get_bit(self) -> Bit:
    method _get_bits (line 245) | def _get_bits(self, bit_count: int) -> list[Bit]:
    method _get_bool (line 255) | def _get_bool(self) -> bool:
    method _get_float (line 258) | def _get_float(
    method _get_int (line 274) | def _get_int(self, bit_count: int) -> int:
    method _skip_bits (line 277) | def _skip_bits(self, bit_count: int) -> None:
  function _decode_subframe_data (line 281) | def _decode_subframe_data(subframe_transmitted: list[Bit]) -> list[Bit]:
  class ParityError (line 370) | class ParityError(Exception):
  function _verify_parity (line 376) | def _verify_parity(

FILE: gpsreceiver/gpsreceiver/subframes.py
  class Handover (line 10) | class Handover:
  class Subframe (line 30) | class Subframe:
  class Subframe1 (line 35) | class Subframe1(Subframe):
  class Subframe2 (line 55) | class Subframe2(Subframe):
  class Subframe3 (line 72) | class Subframe3(Subframe):
  class Subframe4 (line 89) | class Subframe4(Subframe):
  class Subframe5 (line 100) | class Subframe5(Subframe):

FILE: gpsreceiver/gpsreceiver/tracker.py
  class Tracker (line 23) | class Tracker:
    method __init__ (line 26) | def __init__(
    method carrier_frequency_shifts (line 100) | def carrier_frequency_shifts(self) -> list[float]:
    method correlations (line 104) | def correlations(self) -> list[complex]:
    method handle_1ms_of_samples (line 107) | def handle_1ms_of_samples(self, samples: OneMsOfSamples) -> None:
    method prn_code_phase_shifts (line 178) | def prn_code_phase_shifts(self) -> list[float]:
    method _carrier_frequency_shift (line 182) | def _carrier_frequency_shift(self) -> float:
    method _carrier_phase_shift (line 190) | def _carrier_phase_shift(self) -> float:
    method _track_prn_code_phase_shift (line 197) | def _track_prn_code_phase_shift(self, shifted_samples: np.ndarray) -> ...
    method _prn_code_phase_shift (line 263) | def _prn_code_phase_shift(self) -> float:
    method _track_carrier (line 270) | def _track_carrier(self, correlation: complex) -> None:

FILE: gpsreceiver/gpsreceiver/types.py
  class Samples (line 35) | class Samples:
    method __add__ (line 50) | def __add__(self, other: Samples) -> Samples:
    method __getitem__ (line 68) | def __getitem__(self, key: slice) -> Samples:
  class Side (line 120) | class Side(Enum):

FILE: gpsreceiver/gpsreceiver/utils.py
  class InvariantError (line 4) | class InvariantError(Exception):
  function invariant (line 10) | def invariant(condition: bool, message: str = "") -> None:
  function parse_int_from_bits (line 20) | def parse_int_from_bits(bits: list[Bit]) -> int:

FILE: gpsreceiver/gpsreceiver/world.py
  class PendingSatelliteParameters (line 24) | class PendingSatelliteParameters:
    method handle_subframe (line 40) | def handle_subframe(self, subframe: Subframe) -> None:
    method to_satellite_parameters (line 55) | def to_satellite_parameters(self) -> SatelliteParameters | None:
  class SatelliteParameters (line 106) | class SatelliteParameters:
    method handle_subframe (line 159) | def handle_subframe(self, subframe: Subframe) -> None:
  class EcefCoordinates (line 204) | class EcefCoordinates:
  class EcefSolution (line 213) | class EcefSolution:
  class World (line 226) | class World:
    method __init__ (line 229) | def __init__(self) -> None:
    method compute_solution (line 240) | def compute_solution(self) -> EcefSolution | None:
    method has_required_subframes (line 283) | def has_required_subframes(self, satellite_id: SatelliteId) -> bool:
    method _compute_satellite_position_and_signal_transit_time (line 289) | def _compute_satellite_position_and_signal_transit_time(
    method _compute_satellite_t (line 334) | def _compute_satellite_t(self, satellite_id: SatelliteId) -> float:
    method _get_satellite_parameters_or_error (line 356) | def _get_satellite_parameters_or_error(
    method _wrap_time_delta (line 366) | def _wrap_time_delta(self, t: float) -> float:
    method _compute_satellite_e_k (line 382) | def _compute_satellite_e_k(self, satellite_id: SatelliteId, t_k: float...
    method _to_time_of_week (line 404) | def _to_time_of_week(self, timestamp: UtcTimestamp) -> float:
    method _compute_jacobian (line 427) | def _compute_jacobian(
    method _compute_residuals (line 460) | def _compute_residuals(
    method drop_satellite (line 483) | def drop_satellite(self, satellite_id: SatelliteId) -> None:
    method handle_prns_tracked (line 495) | def handle_prns_tracked(
    method handle_subframe (line 546) | def handle_subframe(self, satellite_id: SatelliteId, subframe: Subfram...
    method _maybe_promote_pending_satellite_parameters (line 561) | def _maybe_promote_pending_satellite_parameters(