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() → 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')¶