Manuals/calci/UNITLE

UNITLE (A,B)

• $A$ and $B$ are any real numbers.

Description

• This function is the test to check if the first number is lesser than or equal to the second number.
• In $UNITLE(A,B)$, $A$ and $B$ are any two real numbers.
• If A is lesser than or equal to B then it will return the result as TRUE.
• If A is strictly less than B then it will return the result as FALSE.

Examples

1. UNITLE(23,44) = true
2. UNITLE(888,888) = true
3. UNITLE(1.045,4.34) = true
4. UNITLE(13/15,12/17) = false
5. UNITLE(-2,-4) = false

See Also

• LE
• GE
• UNITGE
• List of Main Z Functions
• Z3 home

References

Less Than

• List of Main Z Functions
• Z3 home