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)