pyk.kcfg.explore module¶
- class KCFGExplore(cterm_symbolic: CTermSymbolic, *, kcfg_semantics: KCFGSemantics | None = None, id: str | None = None)[source]¶
Bases:
object
- check_extendable(kcfg_exploration: KCFGExploration, node: KCFG.Node) None [source]¶
- cterm_symbolic: CTermSymbolic¶
- extend_cterm(_cterm: CTerm, node_id: int, *, execute_depth: int | None = None, cut_point_rules: Iterable[str] = (), terminal_rules: Iterable[str] = (), module_name: str | None = None) KCFGExtendResult [source]¶
- id: str¶
- kcfg_semantics: KCFGSemantics¶