Manuals/calci/DISTINCT

DISTINCT ()

Description

• This function shows the distinct values from the given array.
• In $DISTINCT()$,for the parameter there can be any set of values or any strings.
• This statement is used to return only distinct (different) values.
• Suppose in the given values,it may contain many duplicate values and sometimes there is need of any different (distinct) values.
• The DISTINCT keyword can be used to return only distinct (different) values.

Examples

1. DISTINCT("Bradley", "Doyle", "Doyle", "Doyle","Arthur") = Bradley Doyle Arthur
2. DISTINCT(30,23,65,10,0,-5,30,65,0) = 0 10 23 30 65 -5
3. DISTINCT("m","a","l","a","y","a","l","a","m") m a l y

See Also

• DISTINCTSET
• DIFFERENCE
• List of Main Z Functions
• Z3 home

References

• Distinct
• List of Main Z Functions
• Z3 home