Hets API
Contents:
Installation
Usage
Code documentation
Functions
Classes
BasicProof
Comorphism
ConsistencyChecker
ConservativityChecker
ConsistencyStatus
DevelopmentGraph
DevGraphEdge
DefinitionDevGraphEdge
TheoremDevGraphEdge
EdgeKind
DevGraphNode
ReferenceDevGraphNode
LocalDevGraphNode
GMorphism
GMorphism
GlobalAnnotations
Library
load_library
Logic
ProofState
ProofDetails
ProofKind
ConsistencyKind
Options
Option
Prover
Sentence
Signature
Theory
Hets API
Code documentation
GMorphism
GMorphism
class
hets.
GMorphism
(
hs_g_morphism
)
[source]
as_json
(
)
→
dict
[source]
codomain
(
)
→
dict
[source]
comorphism
(
)
→
Comorphism
[source]
description
(
)
→
str
[source]
domain
(
)
→
dict
[source]
is_inclusion
(
)
→
bool
[source]
name
(
)
→
str
[source]
signature
(
)
→
Signature
[source]
symbol_map
(
)
→
Dict
[
object
,
object
]
[source]