Array.buckets()
Revision as of 01:23, 12 February 2020 by Devika (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Buckets
- 1..10.buckets() returns an object with key frequency pairs.
"1": 1, | |
"2": 1, | |
"3": 1, | |
"4": 1, | |
"5": 1, | |
"6": 1, | |
"7": 1, | |
"8": 1, | |
"9": 1, | |
"10": 1, |
- a=1..10.fillwith(1..3).buckets()
"1": 4, | |
"2": 3, | |
"3": 3, |
- a=1..10.fillwith(1..3).buckets();
b=FLATTENOBJECT(a);
1 | 4 | |
2 | 3 | |
3 | 3 |