.. index:: single: ccsds_time_codes
.. _ccsds_time_codes/0:

.. rst-class:: right

**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)

.. contents::
   :local:
   :backlinks: top

Public predicates
-----------------

.. index:: valid/1
.. _ccsds_time_codes/0::valid/1:

``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``


------------

.. index:: format/2
.. _ccsds_time_codes/0::format/2:

``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)