IsLRealNegInfinity (FUN) ¶ FUNCTION IsLRealNegInfinity : BOOL Returns whether the given LREAL value is a special negative infinity value. InOut: Scope Name Type Return IsLRealNegInfinity BOOL Input f LREAL

IsRealNumber (FUN) ¶ FUNCTION IsRealNumber : BOOL Returns whether the given REAL value is a regular number and not a special NaN or infinity value. InOut: Scope Name Type Return IsRealNumber BOOL Input f REAL

IsRealPosInfinity (FUN) ¶ FUNCTION IsRealPosInfinity : BOOL Returns whether the given REAL value is a special positive infinity value. InOut: Scope Name Type Return IsRealPosInfinity BOOL Input f REAL

StringFunctions ¶ HexStrToLReal (Function) HexStrToReal (Function) LRealToHexStr (Function) LRealToStr (Function) RealToHexStr (Function) RealToStr (Function) StrToLReal (Function) StrToReal (Function)

HexStrToLReal (FUN) ¶ FUNCTION HexStrToLReal : BOOL Converts a HexReal-string to a LREAL value. See DeserializeHexReal for a description of the format. Note This function also handles the case LREAL = REAL. InOut: Scope Name Type Comment Return HexStrToLReal BOOL Input str STRING The string to convert Output f LREAL

HexStrToReal (FUN) ¶ FUNCTION HexStrToReal : BOOL Converts a HexReal-string to a REAL value. See DeserializeHexReal for a description of the format. InOut: Scope Name Type Comment Return HexStrToReal BOOL Input str STRING The string to convert Output f REAL

LRealToHexStr (FUN) ¶ FUNCTION LRealToHexStr : STRING(32) Converts a LREAL value to a HexReal-string. See SerializeHexReal for a description of the format. Note This function also handles the case LREAL = REAL. InOut: Scope Name Type Return LRealToHexStr STRING(32) Input f LREAL

LRealToStr (FUN) ¶ FUNCTION LRealToStr : STRING(32) Converts LREAL values to a decimal representation, taking into account special values like NaN and infinity. Based on LREAL_TO_STRING. Note This function also handles the case LREAL = REAL. InOut: Scope Name Type Comment Return LRealToStr STRING(32) Input f LREAL The floating point value to convert.

RealToHexStr (FUN) ¶ FUNCTION RealToHexStr : STRING(32) Converts a REAL value to a HexReal-string. See SerializeHexReal for a description of the format. InOut: Scope Name Type Return RealToHexStr STRING(32) Input f REAL

RealToStr (FUN) ¶ FUNCTION RealToStr : STRING(16) Converts REAL values to a decimal representation, taking into account special values like NaN and infinity. Based on REAL_TO_STRING. InOut: Scope Name Type Comment Return RealToStr STRING(16) Input f REAL The floating point value to convert.