ccsds_time_codes — Logtalk 3.100.1

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)