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

S

saveFile() - Method in class pipe.gui.widgets.FileBrowser
 
savePNML(File) - Method in class pipe.dataLayer.DataLayer
Save the Petri-Net
scroller - Static variable in class pipe.gui.CreateGui
 
SELECT - Static variable in interface pipe.gui.Constants
 
select() - Method in class pipe.dataLayer.PetriNetObject
 
select() - Method in class pipe.dataLayer.PlaceTransitionObject
Handles selection for Place/Transitions
SELECTION_FILL_COLOUR - Static variable in interface pipe.gui.Constants
 
SELECTION_LAYER_OFFSET - Static variable in interface pipe.gui.Constants
 
SELECTION_LINE_COLOUR - Static variable in interface pipe.gui.Constants
 
SelectionObject - class pipe.gui.SelectionObject.
 
SelectionObject() - Constructor for class pipe.gui.SelectionObject
 
SelectionObject(GuiView) - Constructor for class pipe.gui.SelectionObject
 
selectPoint(int) - Method in class pipe.dataLayer.ArcPath
 
set(int, int, double) - Method in class jama.Matrix
Set a single element.
set(int, int, int) - Method in class pipe.dataLayer.PNMatrix
Set a single element.
setArcConnectionMap() - Method in class pipe.dataLayer.DataLayer
Function populates the arcsMap hashtable enabling easier cross referencing of places, transitions and the arcs connected to them.
setBackwardsIncidenceMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Backward Incidence Matrix
setCentre(double, double) - Method in class pipe.dataLayer.PlaceTransitionObject
Sets the center of the component to position x, y
setControl1(float, float) - Method in class pipe.dataLayer.ArcPathPoint
 
setControl1(Point2D.Float) - Method in class pipe.dataLayer.ArcPathPoint
 
setControl2(float, float) - Method in class pipe.dataLayer.ArcPathPoint
 
setControl2(Point2D.Float) - Method in class pipe.dataLayer.ArcPathPoint
 
setCurrentMarking(int) - Method in class pipe.dataLayer.Place
Set current marking
setDraggable(boolean) - Method in class pipe.dataLayer.PetriNetObject
 
setEnabled(boolean) - Method in class pipe.dataLayer.Transition
Sets whether Transition is enabled
setEnabledBackwards(boolean) - Method in class pipe.dataLayer.Transition
Sets whether Transition is enabled
setEnabledFalse() - Method in class pipe.dataLayer.Transition
 
setEnabledTransitions() - Method in class pipe.dataLayer.DataLayer
Determines whether all transitions are enabled and sets the correct value of the enabled boolean
setEnabledTransitionsBackwards() - Method in class pipe.dataLayer.DataLayer
Determines whether all transitions are enabled and sets the correct value of the enabled boolean
setEndPoint(double, double, boolean) - Method in class pipe.dataLayer.Arc
 
setFile(File, int) - Static method in class pipe.gui.CreateGui
 
setFinalPointType(boolean) - Method in class pipe.dataLayer.ArcPath
 
setFowardIncidenceMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Foward Incidence Matrix
setGridSpacing(double) - Static method in class pipe.gui.Grid
 
setId(String) - Method in class pipe.dataLayer.Arc
Set id
setId(String) - Method in class pipe.dataLayer.PetriNetObject
Set id
setId(String) - Method in class pipe.dataLayer.PlaceTransitionObject
Set id
setID(String) - Method in class pipe.dataLayer.calculations.Marking
 
setID(String) - Method in class pipe.dataLayer.AnnotationNote
 
setID(String) - Method in class pipe.dataLayer.NameLabel
 
setIncidenceMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Incidence Matrix
setInitalMarkupMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Initial Markup Matrix
setInitialMarking(int) - Method in class pipe.dataLayer.Place
Set initial marking
setLocation(double, double) - Method in class pipe.dataLayer.AnnotationNote.ResizePoint
 
setLocation(double, double, double) - Method in class pipe.gui.ArrowHead
 
setLocation(double, double, double, double) - Method in class pipe.gui.ArrowHead
 
setLocation(Point2D.Double, Point2D.Double) - Method in class pipe.gui.ArrowHead
 
setmarkingOffsetX(double) - Method in class pipe.dataLayer.Place
Set X-axis offset for initial marking
setmarkingOffsetY(double) - Method in class pipe.dataLayer.Place
Set Y-axis offset for initial marking
setMatrix(int[], int[], Matrix) - Method in class jama.Matrix
Set a submatrix.
setMatrix(int[], int[], PNMatrix) - Method in class pipe.dataLayer.PNMatrix
Set a submatrix.
setMatrix(int[], int, int, Matrix) - Method in class jama.Matrix
Set a submatrix.
setMatrix(int[], int, int, PNMatrix) - Method in class pipe.dataLayer.PNMatrix
Set a submatrix.
setMatrix(int, int, int[], Matrix) - Method in class jama.Matrix
Set a submatrix.
setMatrix(int, int, int[], PNMatrix) - Method in class pipe.dataLayer.PNMatrix
Set a submatrix.
setMatrix(int, int, int, int, Matrix) - Method in class jama.Matrix
Set a submatrix.
setMatrix(int, int, int, int, PNMatrix) - Method in class pipe.dataLayer.PNMatrix
Set a submatrix.
setMode(int) - Method in class pipe.gui.GuiFrame
 
setName(String) - Method in class pipe.gui.ModuleMethod
 
setName(String) - Method in class pipe.dataLayer.PlaceTransitionObject
Set name
setNumberSequences(int) - Method in class pipe.gui.Animator
 
setObjectColour(Color) - Method in class pipe.dataLayer.PetriNetObject
 
setObjects() - Method in class pipe.gui.GuiFrame
 
setObjects(int) - Method in class pipe.gui.GuiFrame
 
setObjectsNull(int) - Method in class pipe.gui.GuiFrame
 
setPage(String) - Method in class pipe.gui.HelpBox
Sets the page to the given non-absolute filename assumed to be in the Docs directory
setPathToTransitionAngle(int) - Method in class pipe.dataLayer.Arc
 
setPointLocation(float, float) - Method in class pipe.dataLayer.ArcPathPoint
 
setPointLocation(int, double, double) - Method in class pipe.dataLayer.ArcPath
 
setPointLocation(int, Point2D.Double) - Method in class pipe.dataLayer.ArcPath
 
setPointType(boolean) - Method in class pipe.dataLayer.ArcPathPoint
 
setPointType(int, boolean) - Method in class pipe.dataLayer.ArcPath
 
setPointVisibilityLock(boolean) - Method in class pipe.dataLayer.ArcPath
 
setPosition(int, int) - Method in class pipe.dataLayer.NameLabel
 
setPositionX(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set X-axis position
setPositionY(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set Y-axis position
setRandomAnimationMode(boolean) - Method in class pipe.gui.GuiFrame
 
setRate(double) - Method in class pipe.dataLayer.Transition
 
setSelectable(boolean) - Method in class pipe.dataLayer.PetriNetObject
 
setSelectionBorderColour(Color) - Method in class pipe.dataLayer.PetriNetObject
 
setShiftDown(boolean) - Method in class pipe.gui.GuiView
 
setSource(PlaceTransitionObject) - Method in class pipe.dataLayer.Arc
Set source
setSourceLocation(double, double) - Method in class pipe.dataLayer.Arc
 
setTab() - Method in class pipe.gui.GuiFrame
 
setTarget(PlaceTransitionObject) - Method in class pipe.dataLayer.Arc
Set target
setTargetLocation(double, double) - Method in class pipe.dataLayer.Arc
 
setText(String) - Method in class pipe.gui.widgets.ResultsHTMLPane
 
setTimed(boolean) - Method in class pipe.dataLayer.Transition
Set the timed transition attribute (for GSPNs)
setTitle(String) - Method in class pipe.gui.GuiFrame
 
setToZero() - Method in class pipe.dataLayer.PNMatrix
 
setTransitionAngle(int) - Method in class pipe.dataLayer.ArcPath
 
setValues(ArrayList, ArrayList) - Method in class pipe.gui.widgets.GraphPanel
 
setVisibilityLock(boolean) - Method in class pipe.dataLayer.ArcPathPoint
 
setWeight(int) - Method in class pipe.dataLayer.Arc
Set weight
setWeightLabelPosition() - Method in class pipe.dataLayer.Arc
 
setWeightOffsetX(double) - Method in class pipe.dataLayer.Arc
Set X-axis offset for weight position
setWeightOffsetY(double) - Method in class pipe.dataLayer.Arc
Set Y-axis offset for weight position
shiftDown - Static variable in class pipe.gui.ArcKeyboardEventHandler
 
showBorder(boolean) - Method in class pipe.dataLayer.AnnotationNote
 
showPoints() - Method in class pipe.dataLayer.ArcPath
 
Simulation - class pipe.modules.simulation.Simulation.
 
Simulation() - Constructor for class pipe.modules.simulation.Simulation
 
SingularValueDecomposition - class jama.SingularValueDecomposition.
Singular Value Decomposition.
SingularValueDecomposition(Matrix) - Constructor for class jama.SingularValueDecomposition
Construct the singular value decomposition
SIZE - Static variable in class pipe.dataLayer.AnnotationNote.ResizePoint
 
SIZE - Static variable in class pipe.dataLayer.ArcPathPoint
 
SIZE_OFFSET - Static variable in class pipe.dataLayer.ArcPathPoint
 
size() - Method in class pipe.dataLayer.calculations.StateList
 
solve(Matrix) - Method in class jama.QRDecomposition
Least squares solution of A*X = B
solve(Matrix) - Method in class jama.Matrix
Solve A*X = B
solve(Matrix) - Method in class jama.LUDecomposition
Solve A*X = B
solve(Matrix) - Method in class jama.CholeskyDecomposition
Solve A*X = B
solveTranspose(Matrix) - Method in class jama.Matrix
Solve X*A = B, which is also A'*X' = B'
START - Static variable in interface pipe.gui.Constants
 
start() - Method in class pipe.modules.dnamaca.SwingWorker
Start the worker thread.
startRandomFiring() - Method in class pipe.gui.Animator
 
StateList - class pipe.dataLayer.calculations.StateList.
 
StateList() - Constructor for class pipe.dataLayer.calculations.StateList
 
StateSpace - class pipe.modules.stateSpace.StateSpace.
 
StateSpace() - Constructor for class pipe.modules.stateSpace.StateSpace
 
StatusBar - class pipe.gui.StatusBar.
 
StatusBar() - Constructor for class pipe.gui.StatusBar
 
stepBack() - Method in class pipe.gui.Animator
 
STEPBACKWARD - Static variable in interface pipe.gui.Constants
 
stepBackwards() - Method in class pipe.gui.AnimationHistory
 
STEPFORWARD - Static variable in interface pipe.gui.Constants
 
stepForward() - Method in class pipe.gui.AnimationHistory
 
stepForward() - Method in class pipe.gui.Animator
 
STOP - Static variable in interface pipe.gui.Constants
 
stopRandomFiring() - Method in class pipe.gui.Animator
 
storeInitialMarking() - Method in class pipe.dataLayer.DataLayer
Stores Initial Markup Matrix from current Petri-Net Markup
storeModel() - Method in class pipe.gui.Animator
 
storeState() - Method in class pipe.dataLayer.DataLayer
Stores Current Markup
STRAIGHT - Static variable in class pipe.dataLayer.ArcPathPoint
 
svd() - Method in class jama.Matrix
Singular Value Decomposition
SwingWorker - class pipe.modules.dnamaca.SwingWorker.
This is the 3rd version of SwingWorker (also known as SwingWorker 3), an abstract class that you subclass to perform GUI-related work in a dedicated thread.
SwingWorker() - Constructor for class pipe.modules.dnamaca.SwingWorker
Start a thread that will call the construct method and then exit.

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