Array.bykey()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

bykey

Create an object with elements of array bucketed with the key specified.

Example

a=#TABLE1;

a.bykey(0)

{ "Amino Acid": [ [ "Amino Acid", "Symbol", "SLC", "DNA codons" ] ], "Isoleucine ": [ [ "Isoleucine ", "Ile", "I", "ATT, ATC, ATA" ] ],

etc

See Also

• buckets
• AllSlices
• Inner
• Outer
• Chunks