TheoremDevGraphEdge

class hets.TheoremDevGraphEdge(hs_edge: Tuple[int, int, hs.HetsAPI.Internal.DGLinkLab], parent: HsHierarchyElement | None)

conservativity() → ConsistencyKind

is_conservativ() → bool

is_pending() → bool

is_proven() → bool