pyk.proof.tui module

class APRProofBehaviorView(proof: APRProof, kprint: KPrint, minimize: bool = True, node_printer: NodePrinter | None = None, id: str = '')

Bases: ScrollableContainer

can_focus: bool = True

Widget may receive focus.

can_focus_children: bool = True

Widget’s children may receive focus.

compose() → ComposeResult

class APRProofViewer(proof: APRProof, kprint: KPrint, node_printer: NodePrinter | None = None, custom_view: Callable[[KCFGElem], Iterable[str]] | None = None, minimize: bool = True)

Bases: KCFGViewer

compose() → ComposeResult

on_mount() → None