| 1281 | |
| 1282 | |
| 1283 | class _Pair: |
| 1284 | # Internal class to represent a pair of expressions |
| 1285 | |
| 1286 | def __init__(self, left, right): |
| 1287 | self.left = left |
| 1288 | self.right = right |
| 1289 | |
| 1290 | def substitute(self, symbols_map): |
| 1291 | left, right = self.left, self.right |
| 1292 | if isinstance(left, Expr): |
| 1293 | left = left.substitute(symbols_map) |
| 1294 | if isinstance(right, Expr): |
| 1295 | right = right.substitute(symbols_map) |
| 1296 | return _Pair(left, right) |
| 1297 | |
| 1298 | def __repr__(self): |
| 1299 | return f'{type(self).__name__}({self.left}, {self.right})' |
| 1300 | |
| 1301 | |
| 1302 | class _FromStringWorker: |
no outgoing calls
no test coverage detected