DevGraphEdge

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

check_conservativity(checker: ConservativityChecker) → Tuple[ConsistencyKind | None, List[str] | None, List[str] | None, List[str]]

Checks the conservativity of this edge

Parameters:

checker – Checker to use for checking the conservativity

Returns:

calculated conservativity together with obligations for the conservativity holding in the source theory and obligations required to hold in an imported theory

conservativity() → ConsistencyKind

conservativity_status() → ConsistencyStatus

get_conservativity_checker_by_name(name: str) → ConservativityChecker | None

get_usable_conservativity_checkers() → List[ConservativityChecker]

id() → int

info() → str

is_homogeneous() → bool

is_inclusion() → bool

kind() → EdgeKind

morphism() → GMorphism

name() → str

origin() → int

target() → int

title() → str