IsLRealPosInfinity (FUN)

FUNCTION IsLRealPosInfinity : BOOL

Returns whether the given LREAL value is a special positive infinity value.

InOut:

Scope	Name	Type
Return	IsLRealPosInfinity	BOOL
Input	f	LREAL