Manuals/calci/UNITNE

UNITNE (A,B)

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

Descreiption

• This function determines the non-equality of two numbers.
• In $UNITNE(A,B)$,$A$ and $B$are any real numbers.
• UNITNE will return the result as "TRUE" when A is not equal to B.
• UNITNE will return the result as "FALSE" when A is equal to B.
• UNITNE compares both integer and fractional parts of A and B.

Examples

1. UNITNE(28,28) = false
2. UNITNE(-45,-41) = true
3. UNITNE(14.23,14.02) = true
4. UNITNE(2/3,6/9) = false

See Also

• UNITNES
• UNITEQ
• EQ
• List of Main Z Functions
• Z3 home

References

Equal

• List of Main Z Functions

• Z3 home