Manuals/calci/IN

IN()

Description

• This function is the tester function of with in array values.
• In $IN()$,the first parameter is the value to test and the second parameter is the set of array values.
• This function will return the result as TRUE when the given number is with in given set of values.
• Also will return the result as FALSE when the given number is not with in given set of values.

Examples

1. IN(3,[1,4,9]) = false
2. IN(-4,[-10,-9,-8,-7,-6,-5,-4,-3,-2,-1]) = true
3. IN(3.1,[3.001,3.2,3.01,3.9]) = false
4. IN("j",["a","j","i","p"]) = true

See Also

• INSET
• SUBSET
• EVENSET

References

• Set

• List of Main Z Functions
• Z3 home