Hets API
Contents:
Installation
Usage
Code documentation
Functions
Classes
BasicProof
Comorphism
ConsistencyChecker
ConservativityChecker
ConsistencyStatus
DevelopmentGraph
DevGraphEdge
DefinitionDevGraphEdge
TheoremDevGraphEdge
EdgeKind
EdgeKind
DevGraphNode
ReferenceDevGraphNode
LocalDevGraphNode
GMorphism
GlobalAnnotations
Library
load_library
Logic
ProofState
ProofDetails
ProofKind
ConsistencyKind
Options
Option
Prover
Sentence
Signature
Theory
Hets API
Code documentation
EdgeKind
EdgeKind
class
hets.
EdgeKind
(
value
)
[source]
An enumeration.
COFREE
=
4
FREE
=
3
GLOBAL
=
0
HIDING
=
2
LOCAL
=
1
UNKNOWN
=
-1