pyk.kore.manip module

collect_symbols(pattern: Pattern) → set[str][source]

Return the set of all symbols referred to in a pattern.

Parameters:: pattern – Pattern to collect symbols from.

conjuncts(pattern: Pattern) → tuple[Pattern, ...][source]

free_occs(pattern: Pattern, *, bound_vars: Collection[str] = ()) → dict[str, list[EVar]][source]