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
 

A B C D E F G H I J K L M N O P Q R S T U V