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

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

nacDownwardShift	Abstract.DPO
nacInvolved	Abstract.DPO.Process
nacMatch	Analysis.CriticalPairs
NacSatisfaction	Abstract.AdhesiveHLR, Abstract.DPO
nacSatisfaction	Abstract.AdhesiveHLR, Abstract.DPO
name	Abstract.Constraint, Abstract.AdhesiveHLR
namedCriticalPairs	Analysis.CriticalPairs
namedCriticalSequences	Analysis.CriticalSequence
namedEssentialCriticalPairs	Analysis.EssentialCriticalPairs
NamedProduction	Grammar.Core
NamedRuleWithMatches	Abstract.DPO.Process
NamingContext	Image.Dot
nc	Abstract.Constraint, Abstract.AdhesiveHLR
neverDeleted	TypedGraph.DPO.OccurenceRelation
newEdges	Graph.Graph
newNodes	Graph.Graph
newTypedEdges	TypedGraph.Graph
newTypedNodes	TypedGraph.Graph
nextStates	Logic.Model
Node
1 (Type/Class)	Graph.Graph
2 (Data Constructor)	Graph.Graph
3 (Data Constructor)	TypedGraph.DPO.OccurenceRelation
NodeContext	Graph.Graph
NodeId
1 (Type/Class)	Graph.Graph
2 (Data Constructor)	Graph.Graph
nodeId
1 (Function)	Graph.Graph
2 (Function)	Image.Dot
nodeIds	Graph.Graph
nodeIdsFromCodomain	TypedGraph.Morphism
nodeIdsFromDomain	TypedGraph.Morphism
NodeInContext	Graph.Graph
nodeInfo	Graph.Graph
nodeMap	Graph.Graph
nodeRelation	Graph.GraphMorphism
nodes	Graph.Graph
nodesInContext	Graph.Graph
nodesOf	Graph.Graph
nodeSubId	Image.Dot
Not
1 (Data Constructor)	Logic.Ctl
2 (Data Constructor)	Abstract.Constraint, Abstract.AdhesiveHLR
null
1 (Function)	Graph.Graph
2 (Function)	TypedGraph.Graph
nullGraphRule	TypedGraph.DPO.GraphRule