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

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

randomEdgeIdOf	Graph.QuickCheck
randomEdgeInContextOf	Graph.QuickCheck
randomEdgeOf	Graph.QuickCheck
randomGraph	Graph.QuickCheck
randomNodeIdOf	Graph.QuickCheck
randomNodeInContextOf	Graph.QuickCheck
randomNodeOf	Graph.QuickCheck
rc	Abstract.Constraint, Abstract.AdhesiveHLR
reachableGraphs	Grammar.Core
readGGName	XML.GGXReader
readGrammar	XML.GGXReader
readGraphs	XML.GGXReader
readName	XML.GGXReader
readNames	XML.GGXReader
readRules	XML.GGXReader
readSequences	XML.GGXReader
readSequencesWithObjectFlow	XML.GGXReader
readTypeGraph	XML.GGXReader
reflectIdsFromCodomain	TypedGraph.Morphism
reflectIdsFromDomains	TypedGraph.Morphism
reflectIdsFromTypeGraph	TypedGraph.Morphism
relatedItens	TypedGraph.DPO.OccurenceRelation
Relation
1 (Type/Class)	Abstract.Relation
2 (Type/Class)	TypedGraph.DPO.OccurenceRelation
RelationItem	TypedGraph.DPO.OccurenceRelation
relationToString	TypedGraph.DPO.OccurenceRelation
RemoveDangling	Analysis.CriticalSequence
removeEdge	Graph.Graph
removeEdgeFromCodomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
removeEdgeFromDomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
removeFromCodomain	Abstract.Relation
removeFromDomain	Abstract.Relation
removeNode	Graph.Graph
removeNodeAndIncidentEdges	Graph.Graph
removeNodeForced	Graph.Graph
removeNodeFromCodomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
removeNodeFromDomain
1 (Function)	Graph.GraphMorphism
2 (Function)	TypedGraph.Morphism
removeNodeFromDomainForced	Graph.GraphMorphism
restrictionToString	TypedGraph.DPO.OccurenceRelation
restrictMorphism	Abstract.DPO.Process, Abstract.DPO
restrictMorphisms	Abstract.DPO.Process, Abstract.DPO
restrictRelation	TypedGraph.DPO.GraphProcess
rewrite	Abstract.DPO
rightMatch	Analysis.Interlevel.EvolutionarySpans
Rule	TypedGraph.DPO.OccurenceRelation
RuleMorphism	SndOrder.Morphism
ruleMorphism	SndOrder.Morphism
rules	Grammar.Core
RuleSequence	Grammar.Core
runStateSpaceBuilder	Abstract.DPO.StateSpace