pyk.kcfg.exploration module
- class KCFGExploration(kcfg: KCFG, terminal: Iterable[NodeIdLike] | None = None)[source]
Bases:
object
- static from_dict(dct: Mapping[str, Any]) KCFGExploration [source]
- minimize_kcfg(heuristics: KCFGSemantics | None = None, merge: bool = False) None [source]
- property terminal_ids: set[int]