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

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 - M

makeNamingContext	Image.Dot
mapping
1 (Function)	Abstract.Relation
2 (Function)	TypedGraph.Morphism
mappingInterface	SndOrder.Morphism
mappingLeft	SndOrder.Morphism
mappingRight	SndOrder.Morphism
match	Abstract.DPO
matches	Analysis.CriticalPairs
MatchRestriction	Abstract.AdhesiveHLR, Abstract.DPO
matchRestriction	Abstract.AdhesiveHLR, Abstract.DPO
matchRestrictionToMorphismType	Abstract.AdhesiveHLR, Abstract.DPO
maxConcurrentRules	Analysis.ConcurrentRules
minimalSafetyNacsWithLog	XML.GGXReader
MonoMatches	Abstract.AdhesiveHLR, Abstract.DPO
MonomorphicNAC	Abstract.AdhesiveHLR, Abstract.DPO
Monomorphism	Abstract.Morphism
Monomorphisms	SndOrder.Morphism.NACmanipulation
Morphism	Abstract.Morphism, Abstract.AdhesiveHLR
morphism	Abstract.Constraint, Abstract.AdhesiveHLR
MorphismsConfig
1 (Type/Class)	Abstract.AdhesiveHLR, Abstract.DPO
2 (Data Constructor)	Abstract.AdhesiveHLR, Abstract.DPO
MorphismType	Abstract.Morphism