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

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

F	Logic.Ctl
filterCreationRelation	TypedGraph.DPO.OccurenceRelation
filterDeletionRelation	TypedGraph.DPO.OccurenceRelation
filterElementsOccurrenceRelation	TypedGraph.DPO.OccurenceRelation
filterInducedByNacs	Abstract.DPO.Process
filterRulesOccurrenceRelation	TypedGraph.DPO.OccurenceRelation
finalGraph	TypedGraph.DPO.GraphProcess
finalObject	Abstract.Complete
findAllDeleteForbid	Analysis.CriticalSequence
findAllDeleteUse	Analysis.CriticalPairs
findAllDeleteUseAndProduceDangling	Analysis.CriticalPairs
findAllDeliverDangling	Analysis.CriticalSequence
findAllDeliverDelete	Analysis.CriticalSequence
findAllEssentialDeleteUse	Analysis.EssentialCriticalPairs
findAllEssentialProduceDangling	Analysis.EssentialCriticalPairs
findAllEssentialProduceForbid	Analysis.EssentialCriticalPairs
findAllForbidProduce	Analysis.CriticalSequence
findAllMatches	Abstract.DPO
findAllMorphisms	Abstract.Morphism
findAllProduceDangling	Analysis.CriticalPairs
findAllProduceForbid	Analysis.CriticalPairs
findAllProduceUse	Analysis.CriticalSequence
findAllProduceUseAndRemoveDangling	Analysis.CriticalSequence
findAllRemoveDangling	Analysis.CriticalSequence
findApplicableMatches	Abstract.DPO
findById	Logic.Model
findConcreteTrigger	TypedGraph.DPO.GraphProcess
findConflictsAndDependencies	Analysis.Processes
findCospanCommuter	Abstract.Morphism
findCriticalPairs	Analysis.CriticalPairs
findEpimorphisms	Abstract.Morphism
findIsoFromDomains	Analysis.ParallelIndependent
findIsomorphicState	Abstract.DPO.StateSpace
findIsomorphisms	Abstract.Morphism
findMonomorphisms	Abstract.Morphism
FindMorphism	Abstract.Morphism
findMorphisms	Abstract.Morphism
findOrder	TypedGraph.DPO.OccurenceRelation
findPotentialCriticalPairs	Analysis.CriticalPairs
findProduction	Grammar.Core
findTriggeringCriticalSequences	Analysis.CriticalSequence
firstRule	Abstract.DPO.Process
follows	Logic.Model
ForbidProduce	Analysis.CriticalSequence
FreeOverlap	Analysis.CriticalPairs
fromGraphsAndRelations	Graph.GraphMorphism
fromNodesAndEdges	Graph.Graph
fstOrderMatch	Analysis.Interlevel.InterLevelCP