verigraph-1.1.1: Software specification and verification tool based on graph rewriting. (Index - C)

verigraph-1.1.1: Software specification and verification tool based on graph rewriting.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
All

Index - C

calculateCoequalizer	Abstract.Cocomplete
calculateComatch	Abstract.DPO
calculateCommutativeSquares	Abstract.AdhesiveHLR
calculateCommutativeSquaresAlongMonomorphism	Abstract.AdhesiveHLR
calculateCoproduct	Abstract.Cocomplete
calculateDPO	Abstract.DPO
calculateEqualizer	Abstract.Complete
calculateInitialPushout	Abstract.AdhesiveHLR
calculateNacRelations	TypedGraph.DPO.GraphProcess
calculateNCoequalizer	Abstract.Cocomplete
calculateNCoproduct	Abstract.Cocomplete
calculateNEqualizer	Abstract.Complete
calculateNProduct	Abstract.Complete
calculateProcess	Abstract.DPO.Process, Abstract.DPO
calculateProduct	Abstract.Complete
calculatePullback
1 (Function)	Abstract.Complete
2 (Function)	Abstract.AdhesiveHLR
calculatePushout
1 (Function)	Abstract.Cocomplete
2 (Function)	Abstract.AdhesiveHLR
calculatePushoutComplement	Abstract.AdhesiveHLR
calculateRulesColimit	Abstract.DPO.Process, Abstract.DPO, Analysis.Processes
Cardinality	Abstract.Cardinality
cardinality	Abstract.Cardinality
check	Logic.Ctl
checkDeletion	TypedGraph.Morphism, TypedGraph.DPO.GraphRule
Cocomplete	Abstract.Cocomplete
codomain
1 (Function)	Abstract.Relation
2 (Function)	Abstract.Morphism, Abstract.AdhesiveHLR
comatch	Abstract.DPO
comatches	Analysis.CriticalPairs
Complete	Abstract.Complete
compose
1 (Function)	Abstract.Relation
2 (Function)	Abstract.Morphism, Abstract.AdhesiveHLR
concreteRelation	TypedGraph.DPO.GraphProcess
Constraint	Abstract.Constraint, Abstract.AdhesiveHLR
constraints	Grammar.Core
consumer	Grammar.Core
coreObject	Abstract.DPO.Process, Abstract.DPO
cpe	Analysis.Interlevel.EvolutionarySpans
cpType	Analysis.CriticalPairs
CRDependencies	Analysis.ConcurrentRules
createAllSubobjects	Abstract.AdhesiveHLR
createdEdges	TypedGraph.DPO.GraphRule
createdNodes	TypedGraph.DPO.GraphRule
createEdgeOnCodomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
createEdgeOnDomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
createJointlyEpimorphicPairs	Abstract.AdhesiveHLR
createJointlyEpimorphicPairsFromNAC	Abstract.AdhesiveHLR
createNodeOnCodomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
createNodeOnDomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
CreateScheme	SndOrder.Morphism.NACmanipulation
createStep	SndOrder.Morphism.NACmanipulation
creationAndDeletionRelation	TypedGraph.DPO.GraphProcess
CriticalPair
1 (Type/Class)	Analysis.CriticalPairs
2 (Data Constructor)	Analysis.CriticalPairs
CriticalPairType	Analysis.CriticalPairs
CriticalSequence	Analysis.CriticalSequence
CriticalSequenceType	Analysis.CriticalSequence
Ctx	Image.Dot