expand the given set of ClauseElements to be the set of all 'cloned' predecessors.
(
elements: Iterable[_CLE],
)
| 336 | |
| 337 | |
| 338 | def _expand_cloned( |
| 339 | elements: Iterable[_CLE], |
| 340 | ) -> Iterable[_CLE]: |
| 341 | """expand the given set of ClauseElements to be the set of all 'cloned' |
| 342 | predecessors. |
| 343 | |
| 344 | """ |
| 345 | # TODO: cython candidate |
| 346 | return itertools.chain(*[x._cloned_set for x in elements]) |
| 347 | |
| 348 | |
| 349 | def _de_clone( |
no test coverage detected