Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
R
RANDOM
- Static variable in interface pipe.gui.
Constants
random(int, int)
- Static method in class jama.
Matrix
Generate matrix with random elements
rank()
- Method in class jama.
SingularValueDecomposition
Effective numerical matrix rank
rank()
- Method in class jama.
Matrix
Matrix rank
read(BufferedReader)
- Static method in class jama.
Matrix
Read a matrix from a stream.
RecordDeadlockPath()
- Method in class pipe.dataLayer.calculations.
myNode
RecursiveExpansion()
- Method in class pipe.dataLayer.calculations.
myNode
RecursiveExpansion(StateList, boolean[])
- Method in class pipe.dataLayer.calculations.
myNode
This function recursively generates potential state spaces from existing state spaces (as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces to the StateList array supplied as a parameter.
removeAnimationHistory()
- Static method in class pipe.gui.
CreateGui
removeArc(String)
- Method in class pipe.dataLayer.
DataLayer
Remove first Arc that has an id equal to idInput
removeArcCompareObject(Arc)
- Method in class pipe.dataLayer.
Transition
removeFromArc(Arc)
- Method in class pipe.dataLayer.
PlaceTransitionObject
removeFromContainer()
- Method in class pipe.dataLayer.
PetriNetObject
removeModuleFromTree(DefaultMutableTreeNode)
- Method in class pipe.gui.
ModuleManager
Removes a node from the Module subtree
removePetriNetObject(PetriNetObject)
- Method in class pipe.dataLayer.
DataLayer
Removes the specified object from the appropriate ArrayList of objects.
removePlace(String)
- Method in class pipe.dataLayer.
DataLayer
Remove first Place that has an id equal to idInput
removeTab(int)
- Static method in class pipe.gui.
CreateGui
removeToArc(Arc)
- Method in class pipe.dataLayer.
PlaceTransitionObject
removeTransition(String)
- Method in class pipe.dataLayer.
DataLayer
Remove first Transition that has an id equal to idInput
reportPInvariants(int[])
- Method in class pipe.modules.invariantAnalysis.
InvariantAnalysis
Reports on the P invariants.
reportTInvariants(int[])
- Method in class pipe.modules.invariantAnalysis.
InvariantAnalysis
Reports on the T invariants.
RESERVED_BORDER
- Static variable in interface pipe.gui.
Constants
resetArray(int[])
- Method in class pipe.modules.invariantAnalysis.
InvariantAnalysis
resetEnabledTransitions()
- Method in class pipe.dataLayer.
DataLayer
RESIZE_POINT_DOWN_COLOUR
- Static variable in interface pipe.gui.
Constants
restoreInitialMarking()
- Method in class pipe.dataLayer.
DataLayer
Restores Initial Markup Matrix to current Petri-Net Markup
restoreMode()
- Method in class pipe.gui.
GuiFrame
restoreModel()
- Method in class pipe.gui.
Animator
restoreState()
- Method in class pipe.dataLayer.
DataLayer
Restores To previous Stored Markup
ResultsHTMLPane
- class pipe.gui.widgets.
ResultsHTMLPane
.
ResultsHTMLPane()
- Constructor for class pipe.gui.widgets.
ResultsHTMLPane
returnClass()
- Method in class pipe.gui.
ModuleClassContainer
Returns the class object that the ModuleClass encapsulates
returnTransitions()
- Method in class pipe.dataLayer.
DataLayer
RIGHT
- Static variable in class pipe.dataLayer.
AnnotationNote.ResizePoint
root
- Variable in class pipe.dataLayer.calculations.
myTree
rotate(int)
- Method in class pipe.dataLayer.
Transition
Rotates the Transition through the specified angle around the midpoint
RotateTransitionAction
- class pipe.gui.
RotateTransitionAction
.
RotateTransitionAction(Container, Transition, int, String)
- Constructor for class pipe.gui.
RotateTransitionAction
rowWithNegativeElement()
- Method in class pipe.dataLayer.
PNMatrix
Find the first row with a negative element in a matrix.
run(DataLayer)
- Method in class pipe.modules.comparison.
Comparison
run(DataLayer)
- Method in class pipe.modules.gspn.
GSPN
run(DataLayer)
- Method in interface pipe.modules.
Module
run(DataLayer)
- Method in class pipe.modules.matrixes.
Matrixes
run(DataLayer)
- Method in class pipe.modules.stateSpace.
StateSpace
run(DataLayer)
- Method in class pipe.modules.simulation.
Simulation
run(DataLayer)
- Method in class pipe.modules.classification.
Classification
run(DataLayer)
- Method in class pipe.modules.invariantAnalysis.
InvariantAnalysis
Call the methods that find the net invariants.
run(DataLayer)
- Method in class pipe.modules.dnamaca.
Dnamaca
RunGui
- class
RunGui
.
RunGui
- Start-up class with main function
RunGui()
- Constructor for class
RunGui
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V