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

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

id
1 (Function)	Abstract.Relation
2 (Function)	Abstract.Morphism, Abstract.AdhesiveHLR
idMap	TypedGraph.Morphism
image	Abstract.Relation
Implies	Logic.Ctl
incidentEdges	Graph.Graph
incomingEdges	Graph.Graph
IndependenceType	Analysis.ParallelIndependent
index	Grammar.Core
induceSpanMorphism	Abstract.Morphism
initialGraph	TypedGraph.DPO.GraphProcess
initialObject	Abstract.Cocomplete
InitialPushouts	SndOrder.Morphism.NACmanipulation
insertEdge	Graph.Graph
insertEdgeWithPayload	Graph.Graph
insertNode	Graph.Graph
insertNodeWithPayload	Graph.Graph
insertOnCodomain	Abstract.Relation
instantiateRule	XML.GGXReader
instantiateSpan	XML.GGXReader
Interaction
1 (Type/Class)	Abstract.DPO.Process
2 (Data Constructor)	Abstract.DPO.Process
InteractionType	Abstract.DPO.Process
interactionType	Abstract.DPO.Process
InterLevelCP
1 (Type/Class)	Analysis.Interlevel.InterLevelCP
2 (Data Constructor)	Analysis.Interlevel.InterLevelCP
interLevelCP	Analysis.Interlevel.InterLevelCP
inverseRelation	Abstract.Relation
invert	TypedGraph.Morphism
invertGraphMorphism	Graph.GraphMorphism
invertProduction	Abstract.DPO
invertProductionWithoutNacs	Abstract.DPO, TypedGraph.DPO.GraphRule
isAdjacentTo	Graph.Graph
isCreation	TypedGraph.DPO.OccurenceRelation
isDeletion	TypedGraph.DPO.OccurenceRelation
isEdgeOf	Graph.Graph
isEpimorphism	Abstract.Morphism, Abstract.AdhesiveHLR
isFunctional	Abstract.Relation
isIncidentTo	Graph.Graph
isIndependent	Analysis.ParallelIndependent
isInjective	Abstract.Relation
isIsomorphism	Abstract.Morphism, Abstract.AdhesiveHLR
isMonomorphism	Abstract.Morphism, Abstract.AdhesiveHLR
isNode	TypedGraph.DPO.OccurenceRelation
isNodeOf	Graph.Graph
Isomorphism	Abstract.Morphism
isPartialInjective
1 (Function)	Abstract.Relation
2 (Function)	Graph.GraphMorphism
3 (Function)	TypedGraph.Morphism
isPartiallyMonomorphic	Abstract.DPO
isRuleAndElement	TypedGraph.DPO.OccurenceRelation
isSurjective	Abstract.Relation
isTotal	Abstract.Relation
isValid	Abstract.Valid