pyk.kcfg package¶
Submodules¶
- pyk.kcfg.exploration module
KCFGExplorationKCFGExploration.add_terminal()KCFGExploration.explorableKCFGExploration.from_dict()KCFGExploration.is_explorable()KCFGExploration.is_terminal()KCFGExploration.kcfgKCFGExploration.minimize_kcfg()KCFGExploration.prune()KCFGExploration.remove_node()KCFGExploration.remove_terminal()KCFGExploration.terminalKCFGExploration.terminal_idsKCFGExploration.to_dict()
KCFGExplorationNodeAttr
- pyk.kcfg.explore module
- pyk.kcfg.kcfg module
AbstractBranchKCFGKCFG.CoverKCFG.EdgeKCFG.EdgeLikeKCFG.MultiEdgeKCFG.NDBranchKCFG.NodeKCFG.SplitKCFG.SuccessorKCFG.add_alias()KCFG.add_attr()KCFG.add_node()KCFG.add_stuck()KCFG.add_successor()KCFG.add_vacuous()KCFG.aliases()KCFG.contains_cover()KCFG.contains_edge()KCFG.contains_ndbranch()KCFG.contains_node()KCFG.contains_split()KCFG.cover()KCFG.coveredKCFG.covers()KCFG.create_cover()KCFG.create_edge()KCFG.create_ndbranch()KCFG.create_node()KCFG.create_split()KCFG.discard_attr()KCFG.discard_stuck()KCFG.discard_vacuous()KCFG.edge()KCFG.edge_likes()KCFG.edges()KCFG.extend()KCFG.from_claim()KCFG.from_dict()KCFG.from_json()KCFG.get_node()KCFG.is_covered()KCFG.is_leaf()KCFG.is_ndbranch()KCFG.is_root()KCFG.is_split()KCFG.is_stuck()KCFG.is_vacuous()KCFG.leavesKCFG.let_node()KCFG.lift_edge()KCFG.lift_edges()KCFG.lift_split_edge()KCFG.lift_split_split()KCFG.lift_splits()KCFG.minimize()KCFG.ndbranches()KCFG.node()KCFG.nodesKCFG.path_length()KCFG.paths_between()KCFG.predecessors()KCFG.prune()KCFG.reachable_nodes()KCFG.read_cfg_data()KCFG.read_node_data()KCFG.remove_alias()KCFG.remove_attr()KCFG.remove_cover()KCFG.remove_edge()KCFG.remove_node()KCFG.remove_stuck()KCFG.remove_vacuous()KCFG.replace_node()KCFG.rootKCFG.shortest_distance_between()KCFG.shortest_path_between()KCFG.split_on_constraints()KCFG.splits()KCFG.stuckKCFG.successors()KCFG.to_dict()KCFG.to_json()KCFG.to_module()KCFG.to_rules()KCFG.uncoveredKCFG.vacuousKCFG.write_cfg_data()KCFG.zero_depth_between()
KCFGExtendResultKCFGNodeAttrKCFGStoreNDBranchNodeAttrStepStuckVacuous
- pyk.kcfg.semantics module
- pyk.kcfg.show module
- pyk.kcfg.store module
- pyk.kcfg.tui module
BehaviorViewConstraintCustomGraphChunkInfoKCFGViewerNavWidgetNodeViewNodeView.can_focusNodeView.can_focus_childrenNodeView.compose()NodeView.on_behavior_view_selected()NodeView.on_constraint_selected()NodeView.on_custom_selected()NodeView.on_mount()NodeView.on_status_selected()NodeView.on_term_selected()NodeView.toggle_option()NodeView.toggle_view()NodeView.update()
StatusTerm