DevGraphNode

class hets.DevGraphNode(hs_node: Tuple[int, hs.HetsAPI.Internal.DGNodeLab], parent: HsHierarchyElement | None)[source]

check_consistency(cons_checker: ConsistencyChecker | None = None, comorphism: Comorphism | None = None, include_theorems: bool | None = None, timeout: int | None = None) → Tuple[ConsistencyKind, str][source]

global_theory() → Theory | None[source]

id() → int[source]

info() → str[source]

is_consistency_proven() → bool[source]

is_internal() → bool[source]

is_proven_node() → bool[source]

is_reference_node() → bool[source]

name() → str[source]

prove(prover: Prover | None = None, comorphism: Comorphism | None = None, use_theorems: bool | None = None, goals_to_prove: List[str] | None = None, axioms_to_include: List[str] | None = None, timeout: int | None = None) → List[ProofDetails][source]

recompute() → None[source]

theory() → Theory[source]