Array.pad()

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

Array.pad(NewLength, PadString)

Pad the array to be of length NewLength, and fill the extra elements added with PadString (default 0) if given.

[1,2,3].pad(10,3) [1, 2, 3, 3, 3, 3, 3, 3, 3, 3]

["TEST","CAR"].pad(10,"TEST") ["TEST", "CAR", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST", "TEST"]