Difference between revisions of "Buckets"

@@ Line 1: / Line 1: @@
-*[[ Z3 | << Z3 Home ]]
-*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
-*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
-==Buckets==
-*1..10.buckets() returns an object with key frequency pairs.
-{|id="TABLE3" class="SpreadSheet blue"
-{|
-|- class="even"
-| class=" " |
-| class="sshl_f" | "1": 1,
-|- class="odd"
-| class="sshl_f" | "2": 1,
-|- class="even"
-| class="sshl_f" | "3": 1,
-|- class="odd"
-| class="sshl_f" | "4": 1,
-|- class="even"
-| class="sshl_f" | "5": 1,
-|- class="odd"
-| class="sshl_f" | "6": 1,
-|- class="even"
-| class="sshl_f" | "7": 1,
-|- class="odd"
-| class="sshl_f" | "8": 1,
-|- class="even"
-| class="sshl_f" | "9": 1,
-|- class="odd"
-| class="sshl_f" | "10": 1,
-|}
-|}
-*a=1..10.fillwith(1..3).buckets()
-{|id="TABLE3" class="SpreadSheet blue"
-{|
-|- class="even"
-| class=" " |
-| class="sshl_f" | "1": 4,
-|- class="odd"
-| class="sshl_f" | "2": 3,
-|- class="even"
-| class="sshl_f" | "3": 3,
-|}
-*a=1..10.fillwith(1..3).buckets();
-b=FLATTENOBJECT(a);
-{|id="TABLE3" class="SpreadSheet blue"
-{|
-|- class="even"
-| class=" " |
-| class="sshl_f" | 1
-| class="sshl_f" | 4
-|- class="odd"
-| class="sshl_f" | 2
-| class="sshl_f" | 3
-|- class="even"
-| class="sshl_f" | 3
-| class="sshl_f" | 3
-|}

Latest revision as of 01:27, 12 February 2020