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

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

Parallel	Analysis.ParallelIndependent
parseExpr	Logic.Ctl
partialInjectiveMatches	Abstract.Morphism
PartiallyMonomorphicNAC	Abstract.AdhesiveHLR, Abstract.DPO
PathQuantified	Logic.Ctl
Payload	Logic.Model
pbTest	Analysis.ParallelIndependent
positive	Abstract.Constraint, Abstract.AdhesiveHLR
precedes	Logic.Model
present	TypedGraph.DPO.OccurenceRelation
preservedEdges	TypedGraph.DPO.GraphRule
preservedNodes	TypedGraph.DPO.GraphRule
prevStates	Logic.Model
printDigraph	Image.Dot
printDotGraph	Image.Dot
printEdge	Image.Dot
printGraphRule	Image.Dot
printMinimalSafetyNacsLog	XML.GGXReader
printNode	Image.Dot
printSndOrderRule	Image.Dot
printStateSpace	Image.Dot
printSubgraph	Image.Dot
printSubGraphRule	Image.Dot
printSubTypedGraph	Image.Dot
printTypedGraph	Image.Dot
printTypedGraphMorphism	Image.Dot
Process
1 (Type/Class)	Abstract.DPO.Process, Abstract.DPO
2 (Data Constructor)	Abstract.DPO.Process, Abstract.DPO
ProduceDangling	Analysis.CriticalPairs
ProduceForbid
1 (Data Constructor)	Abstract.DPO.Process
2 (Data Constructor)	Analysis.CriticalPairs
producer	Grammar.Core
ProduceUse
1 (Data Constructor)	Abstract.DPO.Process
2 (Data Constructor)	Analysis.CriticalSequence
Production	Abstract.DPO
production	Abstract.DPO
productions	Abstract.DPO.Process, Abstract.DPO
productionTyping	Abstract.DPO.Process, Abstract.DPO
Pullback	Analysis.ParallelIndependent
Pushout	SndOrder.Morphism.NACmanipulation
putState	Abstract.DPO.StateSpace
putTransition	Abstract.DPO.StateSpace