kdrag.solvers.kb.string.replace

kdrag.solvers.kb.string.replace(s: tuple, lhs: tuple, rhs: tuple) → tuple

Find and replace the first occurrence of lhs in s with rhs.

>>> replace((1,2,3,4), (2,3), (5,6))
(1, 5, 6, 4)
>>> replace((1,2,3,4), (2,3), (5,6,7))
(1, 5, 6, 7, 4)
>>> replace((1,2,3,4), (2,3), (5,6,7,8))
(1, 5, 6, 7, 8, 4)
>>> replace((1,1), (4,4), (2,2))
(1, 1)

Parameters:

• s (tuple)

• lhs (tuple)

• rhs (tuple)

Return type:

tuple