Hets API
Contents:
Installation
Usage
Code documentation
Functions
Classes
BasicProof
Comorphism
ConsistencyChecker
ConservativityChecker
ConsistencyStatus
DevelopmentGraph
DevGraphEdge
DefinitionDevGraphEdge
TheoremDevGraphEdge
EdgeKind
DevGraphNode
ReferenceDevGraphNode
ReferenceDevGraphNode
LocalDevGraphNode
GMorphism
GlobalAnnotations
Library
load_library
Logic
ProofState
ProofDetails
ProofKind
ConsistencyKind
Options
Option
Prover
Sentence
Signature
Theory
Hets API
Code documentation
ReferenceDevGraphNode
ReferenceDevGraphNode
class
hets.
ReferenceDevGraphNode
(
hs_node
:
Tuple
[
int
,
hs.HetsAPI.Internal.DGNodeLab
]
,
parent
:
HsHierarchyElement
|
None
)
[source]
referenced_libname
(
)
→
LibName
[source]