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