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

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

G	Logic.Ctl
generateDerivation	Abstract.DPO
generateDoublyTypedGrammar	TypedGraph.DPO.GraphProcess
generateGraphProcess	Abstract.DPO.Process, Abstract.DPO, Analysis.Processes
GenerateProcess	Abstract.DPO.Process, Abstract.DPO
GenericMorphism	Abstract.Morphism
getComatch	Abstract.DPO.Process
getCriticalPairComatches	Analysis.CriticalPairs
getCriticalPairMatches	Analysis.CriticalPairs
getCriticalPairType	Analysis.CriticalPairs
getCriticalSequenceComatches	Analysis.CriticalSequence
getCriticalSequenceMatches	Analysis.CriticalSequence
getCriticalSequenceType	Analysis.CriticalSequence
getDpoConfig	Abstract.DPO.StateSpace
getEdgeTypeName	Image.Dot
getElements	TypedGraph.DPO.GraphProcess
getIncidentEdges	Graph.Graph
getLHS	Abstract.DPO, TypedGraph.DPO.GraphRule
getMatch	Abstract.DPO.Process
getNacIndexOfCriticalPair	Analysis.CriticalPairs
getNacIndexOfCriticalSequence	Analysis.CriticalSequence
getNacMatchOfCriticalPair	Analysis.CriticalPairs
getNacMatchOfCriticalSequence	Analysis.CriticalSequence
getNACs	Abstract.DPO, TypedGraph.DPO.GraphRule
getName	Abstract.DPO.Process
getNodeTypeName	Image.Dot
getProduction	Grammar.Core
getProductionName	Grammar.Core
getProductions	Abstract.DPO.StateSpace
getRHS	Abstract.DPO, TypedGraph.DPO.GraphRule
getRule	Abstract.DPO.Process
getState	Logic.Model
getTransition	Logic.Model
gluing	Abstract.DPO
Grammar	Grammar.Core
grammar	Grammar.Core
Grammars	XML.GGXWriter
Graph
1 (Type/Class)	Graph.Graph
2 (Data Constructor)	Graph.Graph
graphCodomain	TypedGraph.Morphism
graphDomain	TypedGraph.Morphism
GraphMorphism	Graph.GraphMorphism
GraphRule	TypedGraph.DPO.GraphRule