Function lupnt::spice::TAItoStringUTC

• Defined in File spice.cc

Function Documentation

std::string lupnt::spice::TAItoStringUTC(Real t_tai, int prec = 3)

Convert TAI to string UTC.

Format a TAI epoch as a UTC calendar string (et2utc_c, "C" format), via TDBtoStringUTC.

Parameters:

• t_tai – time in TAI

• prec – precision of the output string (default 3)

• t_tai – TAI epoch [s, seconds since J2000]

• prec – Number of digits of fractional seconds in the output

Returns:

std::string

Returns:

UTC calendar string, e.g. "2025 JUN 07 12:00:00.000"