pyk.proof.show module¶

class APRProofNodePrinter(proof: APRProof, kprint: KPrint, full_printer: bool = False, minimize: bool = False)[source]¶

Bases: NodePrinter

node_attrs(kcfg: KCFG, node: KCFG.Node) → list[str][source]¶

proof: APRProof¶

class APRProofShow(kprint: KPrint, node_printer: NodePrinter | None = None)[source]¶

Bases: object

dot(proof: APRProof) → Digraph[source]¶

dump(proof: APRProof, dump_dir: Path, dot: bool = False) → None[source]¶

kcfg_show: KCFGShow¶

pretty(proof: APRProof, minimize: bool = True) → Iterable[str][source]¶

pretty_segments(proof: APRProof, minimize: bool = True) → Iterable[tuple[str, Iterable[str]]][source]¶

show(proof: APRProof, nodes: Iterable[NodeIdLike] = (), node_deltas: Iterable[tuple[NodeIdLike, NodeIdLike]] = (), to_module: bool = False, minimize: bool = True, sort_collections: bool = False, omit_cells: Iterable[str] = ()) → list[str][source]¶