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