Manuals/calci/INSET

INSET()

Description

• This function is the tester function of the specified values with in the set or not.
• In $INSET()$,the parameters are any two set of numbers.
• This function will return the result as TRUE when any one number in second set values occurs in the first set.
• Also will return as FALSE when any one of the values in the 2nd set is not occur in first set.

Examples

1. INSET([1,2,3,45,9],[2,9,45]) = true
2. INSET([10.2,54.3,90.08,18.5],[90.08,89,43]) = true
3. INSET([23,26,78,154],[43,87,65,10]) = false

See Also

• SET
• ODDSET
• LN
• List of Main Z Functions
• Z3 home

References

• Set
• List of Main Z Functions
• Z3 home