expand the given set of ClauseElements to be the set of all 'cloned' predecessors.
(
elements: Iterable[_CLE],
)
| 324 | |
| 325 | |
| 326 | def _expand_cloned( |
| 327 | elements: Iterable[_CLE], |
| 328 | ) -> Iterable[_CLE]: |
| 329 | """expand the given set of ClauseElements to be the set of all 'cloned' |
| 330 | predecessors. |
| 331 | |
| 332 | """ |
| 333 | # TODO: cython candidate |
| 334 | return itertools.chain(*[x._cloned_set for x in elements]) |
| 335 | |
| 336 | |
| 337 | def _de_clone( |
no test coverage detected