pyk.kcfg.exploration module

class KCFGExploration(kcfg: KCFG, terminal: Iterable[NodeIdLike] | None = None)[source]

Bases: object

add_terminal(node_id: NodeIdLike) None[source]
property explorable: list[Node]
static from_dict(dct: Mapping[str, Any]) KCFGExploration[source]
is_explorable(node_id: NodeIdLike) bool[source]
is_terminal(node_id: NodeIdLike) bool[source]
kcfg: KCFG
minimize_kcfg(heuristics: KCFGSemantics | None = None, merge: bool = False) None[source]
prune(node_id: NodeIdLike, keep_nodes: Iterable[NodeIdLike] = ()) list[int][source]
remove_node(node_id: NodeIdLike) None[source]
remove_terminal(node_id: int) None[source]
property terminal: list[Node]
property terminal_ids: set[int]
to_dict() dict[str, Any][source]
class KCFGExplorationNodeAttr(value: str)[source]

Bases: NodeAttr

TERMINAL = NodeAttr(value='terminal')