Manuals/calci/MOPWITHLT

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.

Examples

1. LT(456,123) = false
2. LT(3421,7865) = true
3. LT(-90,-49) = true

See Also

• MOPWITHGT
• MOPWITHGTE
• MOPWITHLTE

References

Less Than

• List of Main Z Functions
• Z3 home