pyk.proof.show module

class APRProofNodePrinter(proof: APRProof, kprint: KPrint, full_printer: bool = False, minimize: bool = False)

Bases: NodePrinter

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

proof: APRProof

class APRProofShow(kprint: KPrint, node_printer: NodePrinter | None = None)

Bases: object

dot(proof: APRProof) → Digraph

dump(proof: APRProof, dump_dir: Path, dot: bool = False) → None

kcfg_show: KCFGShow

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

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

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]