object

time_scales

Time scale conversions for UTC, TAI, TT, UT1, TDB, GPS, GST, TCG, and TCB using bundled and optional override data.

Availability:

logtalk_load(time_scales(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-02-26

Compilation flags:

static, context_switching_calls

Implements:

public time_scales_protocol

Uses:

date

time_scales_data

Remarks:

• Supported UTC range: From 1972-01-01T00:00:00Z onwards.

• Time representation: Instants are represented as instant(Scale,Seconds,fraction(Numerator,Denominator)) with normalized fractional part in the [0,1[ interval.

Inherited public predicates:

 check_conversion/3  check_convert/4  check_instant/1  check_offset/3  clear_dut1_override/0  clear_leap_seconds_override/0  convert/4  dut1_entries/1  dut1_source/1  instant_to_utc_date_time/2  leap_second_date/2  leap_seconds_entries/1  leap_seconds_source/1  load_dut1_override/1  load_leap_seconds_override/1  offset/3  save_dut1_entries/1  save_leap_seconds_entries/1  supported_range/2  utc_date_time_to_instant/2  valid_conversion/3  valid_instant/1  valid_scale/1

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)

See also

time_scales_protocol, date