Did you know ... Search Documentation:
Pack logtalk -- logtalk-3.100.1/docs/apis/_sources/ccsds_ccs_2.rst.txt

.. index:: single: ccsds_ccs(CalendarVariant,FractionOctets) .. _ccsds_ccs/2:

.. rst-class:: right

object

ccsds_ccs(CalendarVariant,FractionOctets)

Public predicates

.. index:: year/2 .. _ccsds_ccs/2::year/2:

year/2 ^^^^^^^^^^

Extracts the year value from a CCS time term.

| Compilation flags: | static

| Template: | year(TimeCode,Year) | Mode and number of proofs: | year(+compound,-integer) - one


.. index:: day_of_year/2 .. _ccsds_ccs/2::day_of_year/2:

day_of_year/2 ^^^^^^^^^^^^^^^^^

Extracts the day of year from an ordinal CCS time term.

| Compilation flags: | static

| Template: | day_of_year(TimeCode,DayOfYear) | Mode and number of proofs: | day_of_year(+compound,-integer) - zero_or_one


.. index:: month/2 .. _ccsds_ccs/2::month/2:

month/2 ^^^^^^^^^^^

Extracts the month from a calendar CCS time term.

| Compilation flags: | static

| Template: | month(TimeCode,Month) | Mode and number of proofs: | month(+compound,-integer) - zero_or_one


.. index:: day/2 .. _ccsds_ccs/2::day/2:

day/2 ^^^^^^^^^

Extracts the day of month from a calendar CCS time term.

| Compilation flags: | static

| Template: | day(TimeCode,Day) | Mode and number of proofs: | day(+compound,-integer) - zero_or_one


.. index:: time_of_day/4 .. _ccsds_ccs/2::time_of_day/4:

time_of_day/4 ^^^^^^^^^^^^^^^^^

Extracts the hour, minute, and seconds-with-fraction from a CCS time term.

| Compilation flags: | static

| Template: | time_of_day(TimeCode,Hour,Minute,Seconds) | Mode and number of proofs: | time_of_day(+compound,-integer,-integer,-number) - one


Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)