object

ccsds_time_codes

Helpers for introspecting CCSDS time code terms.

Availability:
logtalk_load(ccsds_time_codes(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-08
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

valid/1

True if the argument is a known CCSDS time code term.

Compilation flags:
static
Template:
valid(TimeCode)
Mode and number of proofs:
valid(@compound) - zero_or_one

format/2

Returns the CCSDS time code format for a known time code term.

Compilation flags:
static
Template:
format(TimeCode,Format)
Mode and number of proofs:
format(+compound,-atom) - one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)