category

`ccsds_time_codes_types`

Type definitions and arbitrary generators for CCSDS time codes.

Availability:

logtalk_load(ccsds_time_codes(loader))

Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-08

Compilation flags:

static

Provides:

type::type/1
type::check/2
arbitrary::arbitrary/1
arbitrary::arbitrary/2

Uses:

ccsds_ccs(CalendarVariant,FractionOctets)
ccsds_cds(DaySegmentOctets,SubmillisecondOctets,Epoch)
ccsds_cuc(CoarseOctets,FineOctets,Epoch)
type

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates 

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

(none)