Array.spliteach()

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

Spliteach() finds the removes the character/text from the array elements and removes the same.

Examples

1.

MONTHS
.chunks(3)
.spliteach(/m/)

The above example removes character 'm' from the months September, November and December.

2. Ignoring case sensitivity of the characters

MONTHS
.chunks(3)
.spliteach(/m/i)

The above example removes characters 'm' and 'M' both, from the months March, May, September, November and December.

See Also

determinant

inverse