Manuals/calci/INARRAY

INARRAY (Value,Array)

• $From$ is the starting number.

Description

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

See Also

1. INARRAY(6,[1,6,10]) = true
2. INARRAY(-5,[-1,-3,-5,-10]) = true
3. INARRAY(4.2,[3.1,4.002,4.54,4.21]) = false
4. INARRAY("a",["e","o","e","f"]) = false

Examples

• INSET
• SUBSET
• EVENSET

References

• Set

• List of Main Z Functions
• Z3 home