pyk.proof.tui module

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

Bases: ScrollableContainer

can_focus: bool = True

Widget may receive focus.

can_focus_children: bool = True

Widget’s children may receive focus.

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

Bases: KCFGViewer

compose() → ComposeResult[source]
on_mount() → None[source]