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]

[].pad(10) [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

[].pad(10,"ME") ["ME", "ME", "ME", "ME", "ME", "ME", "ME", "ME", "ME", "ME"]

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

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

1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10
1	2	3	4	5	6	7	8	9	10