Manuals/calci/LT

LT (A,B)

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

Description

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

All comparison functions ( LT, LTE, GT, GTE, EQ, NE, EQS, NES, FEQ) will assume B as 0, if not provided. So EQ(10) will be treated as EQ(10,0)

Examples

1. LT(10,7) = false
2. LT(2981,3982) = true
3. LT(-90,-49) = true
4. LT(2cm,200m) = true

Related Videos

Lesser Than

See Also

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

References

Less Than

• List of Main Z Functions
• Z3 home