Difference between revisions of "Manuals/calci/NUB"
Jump to navigation
Jump to search
(Created page with "<div style="font-size:30px">'''NUB (Array)'''</div><br/> *<math>Array</math> is any set of values. ==Description== *This function used to remove duplicate from the given set...") |
|||
| Line 20: | Line 20: | ||
==References== | ==References== | ||
| − | *[https://www.haskell.org/hoogle/?hoogle=nub] | + | *[https://www.haskell.org/hoogle/?hoogle=nub Nub] |
*[[Z_API_Functions | List of Main Z Functions]] | *[[Z_API_Functions | List of Main Z Functions]] | ||
*[[ Z3 | Z3 home ]] | *[[ Z3 | Z3 home ]] | ||
Revision as of 16:42, 2 January 2019
NUB (Array)
- is any set of values.
is any set of values.Description
- This function used to remove duplicate from the given set of values.
- In , is any set of values.
- The Nub function removes duplicate elements from a list.
- The name NUB means "essence".
- In particular, it keeps only the first occurrence of each element.
- It is a special case to do the equality test.
,Examples
- NUB(["good","bad","clever","good"]) = good bad clever
- NUB([12,14,12,45,12,19,12])= 12 14 19 45