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