Manuals/calci/UNITLT

UNITLT (a,b)

• $a$ and $b$ are any two real numbers.

Description

• This function is the test for strictly less than for the given numbers.
• In $UNITLT(a,b)$,$a$ and $b$ are any two real numbers.
• If a is strictly less than b then will return the result as TRUE.
• If a is equal to or not strictly less than b then will return the result as FALSE.

Examples

1. UNITLT(2,12) = true
2. UNITLT(222,48) = false
3. UNITLT(-90,-49) = true
4. UNITLT(1.25,1.25) = false

See Also

• UNITGT
• GT
• GTE
• List of Main Z Functions
• Z3 home

References

Less Than

• List of Main Z Functions
• Z3 home