pyk.proof.show module

class APRProofNodePrinter(proof: APRProof, cterm_show: CTermShow, full_printer: bool = False)[source]

Bases: NodePrinter

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

proof: APRProof

class APRProofShow(definition: KDefinition, 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, omit_cells: Iterable[str] = ()) → list[str][source]