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

A

A - Variable in class pipe.modules.invariantAnalysis.IntMatrix
Array for internal storage of elements.
aboutItem - Variable in class pipe.gui.GuiFrame
 
accept(File) - Method in class pipe.gui.ExtensionFilter
 
accept(File, String) - Method in class pipe.gui.ModuleFilter
 
actionPerformed(ActionEvent) - Method in class pipe.gui.Animator
 
actionPerformed(ActionEvent) - Method in class pipe.gui.LabelAction
Prompts the user for a label
actionPerformed(ActionEvent) - Method in class pipe.gui.AnimateAction
 
actionPerformed(ActionEvent) - Method in class pipe.gui.EditWeightingAction
 
actionPerformed(ActionEvent) - Method in class pipe.gui.GuiFrame
 
actionPerformed(ActionEvent) - Method in class pipe.gui.GuiFrame.FileAction
 
actionPerformed(ActionEvent) - Method in class pipe.gui.GuiFrame.TypeAction
 
actionPerformed(ActionEvent) - Method in class pipe.gui.GuiFrame.AboutDialog
 
actionPerformed(ActionEvent) - Method in class pipe.gui.EditTokenAction
Prompts the user for the number of tokens they want the place to have
actionPerformed(ActionEvent) - Method in class pipe.gui.DeleteAction
Actions deleting the component
actionPerformed(ActionEvent) - Method in class pipe.gui.EditRateAction
Actions deleting the component
actionPerformed(ActionEvent) - Method in class pipe.gui.ModuleManager.RemoveModuleAction
Prompts the user for a label
actionPerformed(ActionEvent) - Method in class pipe.modules.classification.Classification.HandleControl
 
actionPerformed(ActionEvent) - Method in class pipe.modules.comparison.Comparison.HandleControl
 
actionPerformed(ActionEvent) - Method in class pipe.modules.matrixes.Matrixes.HandleControl
 
actionPerformed(ActionEvent) - Method in class pipe.modules.simulation.Simulation.HandleControl
 
actionPerformed(ActionEvent) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl
 
add(DataLayer.Matrix) - Method in class pipe.dataLayer.DataLayer.Matrix
Add a another matrix current matrix
add(Matrixes.Matrix) - Method in class pipe.modules.matrixes.Matrixes.Matrix
 
addAnimationHistory() - Method in class pipe.gui.CreateGui
Creates a new animationHistory text area, and returns a reference to it
addArc(Arc) - Method in class pipe.dataLayer.DataLayer
Add arcInput to back of the Arc ArrayList All observers are notified of this change (Model-View Architecture)
addArcToArcsMap(Arc) - Method in class pipe.dataLayer.DataLayer
Update the arcsMap hashtable to reflect the new arc
addArrow(ArrowLabel) - Method in class pipe.dataLayer.DataLayer
 
addHistoryItem(String) - Method in class pipe.gui.AnimationHistory
 
addMenuItem(JMenu, Action) - Method in class pipe.gui.GuiFrame
 
addModuleToTree(DefaultMutableTreeNode) - Method in class pipe.gui.ModuleManager
Adds a new node to the Module subtree
addPetriNetObject(PetriNetObject) - Method in class pipe.dataLayer.DataLayer
Add any PetriNetObject - the object will be added to the appropriate list.
addPlace(Place) - Method in class pipe.dataLayer.DataLayer
Add placeInput to the back of the Place ArrayList All observers are notified of this change (Model-View Architecture)
ADDTOKEN - Static variable in interface pipe.gui.Constants
 
addToken(Token) - Method in class pipe.dataLayer.DataLayer
Add tokenInput to the back of the Token ArrayList All observers are notified of this change.
addToolBarButton(Action) - Method in class pipe.gui.GuiFrame
 
addTotal(int[]) - Method in class pipe.modules.simulation.Simulation.Evaluate
 
addTransition(Transition) - Method in class pipe.dataLayer.DataLayer
Add transitionInput to back of the Transition ArrayList All observers are notified of this change (Model-View Architecture)
aEndx - Variable in class pipe.gui.CreateArcHandler
 
aEndx - Variable in class pipe.gui.PlaceTransitionObjectHandler
 
aEndy - Variable in class pipe.gui.CreateArcHandler
 
aEndy - Variable in class pipe.gui.PlaceTransitionObjectHandler
 
alphaCoef(int, int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
adjust linear combination coefficients according to sign if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k) if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k)
AnimateAction - class pipe.gui.AnimateAction.
 
AnimateAction(CreateGui, String, int, String) - Constructor for class pipe.gui.AnimateAction
 
animationHandler - Variable in class pipe.gui.GuiView.MouseHandler
 
AnimationHandler - class pipe.gui.AnimationHandler.
 
AnimationHandler(CreateGui, Container) - Constructor for class pipe.gui.AnimationHandler
 
AnimationHistory - class pipe.gui.AnimationHistory.
Class to represent the history of the net animation
AnimationHistory(String) - Constructor for class pipe.gui.AnimationHistory
 
animationmode - Variable in class pipe.gui.PetriNetObjectHandler
 
animationmode - Variable in class pipe.gui.CreateArcHandler
 
animationmode - Variable in class pipe.gui.GuiView
 
animator - Variable in class pipe.gui.CreateGui
 
Animator - class pipe.gui.Animator.
 
Animator.RandomFiringThread - class pipe.gui.Animator.RandomFiringThread.
 
Animator.RandomFiringThread(Animator, int) - Constructor for class pipe.gui.Animator.RandomFiringThread
 
Animator() - Constructor for class pipe.gui.Animator
 
Animator(CreateGui, GuiFrame, GuiView, DataLayer) - Constructor for class pipe.gui.Animator
 
animatorAppGui - Variable in class pipe.gui.Animator
 
animatorAppView - Variable in class pipe.gui.Animator
 
animatortheApp - Variable in class pipe.gui.Animator
 
animBox - Variable in class pipe.gui.AnimateAction
 
animBox - Variable in class pipe.gui.AnimationHandler
 
animBox - Variable in class pipe.gui.CreateGui
 
appendVector(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Append a column matrix (vector) to the right of another matrix.
appFile - Variable in class pipe.gui.CreateGui
 
appGui - Variable in class pipe.gui.GuiFrame
 
appGui - Static variable in class pipe.gui.CreateGui
 
appModel - Variable in class pipe.gui.GuiFrame
 
appModel - Variable in class pipe.gui.CreateGui
 
appTab - Variable in class pipe.gui.GuiFrame
 
appTab - Variable in class pipe.gui.CreateGui
 
appView - Variable in class pipe.gui.GuiFrame
 
appView - Variable in class pipe.gui.CreateGui
 
arc - Variable in class pipe.dataLayer.Arc
Arc is of type Line2D.Double
Arc - class pipe.dataLayer.Arc.
Arc - Petri-Net Arc Class
ARC - Static variable in interface pipe.gui.Constants
 
Arc() - Constructor for class pipe.dataLayer.Arc
Create Petri-Net Arc object
Arc(double, double, double, double, Color) - Constructor for class pipe.dataLayer.Arc
Create Petri-Net Arc object
Arc(double, double, double, double, PlaceTransitionObject, PlaceTransitionObject, String, Color) - Constructor for class pipe.dataLayer.Arc
Create Petri-Net Arc object
Arc(double, double, double, double, String, Color) - Constructor for class pipe.dataLayer.Arc
Create Petri-Net Arc object
Arc(double, double, double, double, String, PlaceTransitionObject, PlaceTransitionObject, int, double, double, Color) - Constructor for class pipe.dataLayer.Arc
Create Petri-Net Arc object
arcAction - Variable in class pipe.gui.GuiFrame
 
arcboundsLeft - Variable in class pipe.dataLayer.NameLabel
 
arcboundsSet(int, int, int, int) - Method in class pipe.dataLayer.NameLabel
 
arcboundsTop - Variable in class pipe.dataLayer.NameLabel
 
arcCheckBox - Variable in class pipe.modules.classification.Classification
 
arcCheckBox - Variable in class pipe.modules.comparison.Comparison
 
ARCCHECKBOX - Static variable in class pipe.modules.comparison.Comparison
 
arcEndCheckBox - Variable in class pipe.modules.classification.Classification
 
arcEndCheckBox - Variable in class pipe.modules.comparison.Comparison
 
ArcHandler - class pipe.gui.ArcHandler.
Class used to implement methods corresponding to mouse events on arcs.
ArcHandler(CreateGui, Container) - Constructor for class pipe.gui.ArcHandler
 
arcHeight - Variable in class pipe.dataLayer.NameLabel
 
arcsArray - Variable in class pipe.dataLayer.DataLayer
ArrayList containing all the Arc objects in the Petri-Net
arcSettingsOuterPanel - Variable in class pipe.modules.comparison.Comparison
 
arcSettingsPanel - Variable in class pipe.modules.comparison.Comparison
 
arcsMap - Variable in class pipe.dataLayer.DataLayer
Hashtable which maps PlaceTransitionObjects to their list of connected arcs
arcSourceCheckBox - Variable in class pipe.modules.classification.Classification
 
arcSourceCheckBox - Variable in class pipe.modules.comparison.Comparison
 
arcStartCheckBox - Variable in class pipe.modules.classification.Classification
 
arcStartCheckBox - Variable in class pipe.modules.comparison.Comparison
 
arcTargetCheckBox - Variable in class pipe.modules.classification.Classification
 
arcTargetCheckBox - Variable in class pipe.modules.comparison.Comparison
 
arcWidth - Variable in class pipe.dataLayer.NameLabel
 
arcx - Variable in class pipe.dataLayer.ArrowLabel
 
arcy - Variable in class pipe.dataLayer.ArrowLabel
 
arrow - Variable in class pipe.dataLayer.Arc
 
ArrowLabel - class pipe.dataLayer.ArrowLabel.
ArrowLabel - Class which depicts an arrow attached to an ArcLabel.
ArrowLabel(Arc) - Constructor for class pipe.dataLayer.ArrowLabel
 
arrowsArray - Variable in class pipe.dataLayer.DataLayer
ArrayList containing all the Arrow objects in the Petri-Net
aStartx - Variable in class pipe.gui.CreateArcHandler
 
aStartx - Variable in class pipe.gui.PlaceTransitionObjectHandler
 
aStarty - Variable in class pipe.gui.CreateArcHandler
 
aStarty - Variable in class pipe.gui.PlaceTransitionObjectHandler
 
averageTokens - Variable in class pipe.modules.simulation.Simulation
 
averageTokens - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
avgResult - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
avgResultsGen() - Method in class pipe.modules.simulation.Simulation.Evaluate
 

B

backwardsIncidenceMatrix - Variable in class pipe.dataLayer.DataLayer
Backward Incidence Matrix
backwardsPlaceSet(int) - Method in class pipe.modules.classification.Classification
 
betaCoef(int, int) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
adjust linear combination coefficients according to sign if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k) if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k)
binarySearch(int, int[], int, int) - Method in class pipe.modules.classification.Classification
 
bold - Variable in class pipe.gui.AnimationHistory
 
bounded - Variable in class pipe.modules.stateSpace.StateSpace
 
boundsHeight() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the height bounds we want to use when initially creating the place on the gui
boundsHeight() - Method in class pipe.dataLayer.Transition
Returns the height bounds we want to use when initially creating the place on the gui
boundsHeight() - Method in class pipe.dataLayer.Place
Returns the height bounds we want to use when initially creating the place on the gui
boundsLeft - Variable in class pipe.dataLayer.NameLabel
 
boundsLeftoffset - Variable in class pipe.dataLayer.PlaceTransitionObject
LeftOffSet used for setBounds()
boundsSet(int, int, int, int) - Method in class pipe.dataLayer.NameLabel
 
boundsTop - Variable in class pipe.dataLayer.NameLabel
 
boundsTopoffset - Variable in class pipe.dataLayer.PlaceTransitionObject
TopOffSet used for setBounds()
boundsWidth() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the width bounds we want to use when initially creating the place on the gui
boundsWidth() - Method in class pipe.dataLayer.Transition
Returns the width bounds we want to use when initially creating the place on the gui
boundsWidth() - Method in class pipe.dataLayer.Place
Returns the width bounds we want to use when initially creating the place on the gui
button1Down - Variable in class pipe.gui.GuiView
 
buttonBar - Variable in class pipe.modules.comparison.Comparison
 
buttonBar - Variable in class pipe.modules.matrixes.Matrixes
 
buttonBar - Variable in class pipe.modules.simulation.Simulation
 
buttonID - Variable in class pipe.modules.classification.Classification.HandleControl
 
buttonID - Variable in class pipe.modules.comparison.Comparison.HandleControl
 
buttonID - Variable in class pipe.modules.matrixes.Matrixes.HandleControl
 
buttonID - Variable in class pipe.modules.simulation.Simulation.HandleControl
 
buttonID - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl
 
buttonPanel - Variable in class pipe.modules.invariantAnalysis.IAResult
 
buttons - Variable in class pipe.modules.invariantAnalysis.IAResult
 

C

c - Variable in class pipe.modules.invariantAnalysis.IAResult
 
calcShapeSettings(int, double) - Method in class pipe.dataLayer.ArrowLabel
This calculates the rotation angle we need to apply to the arrow, and will also handle setting the bounds as that would require this same switch statement.
calculateBoundsOffsets() - Method in class pipe.dataLayer.PlaceTransitionObject
Calculates the BoundsOffsets used for setBounds() method
cardinality(int[]) - Static method in class pipe.modules.classification.Classification
 
cardinalityCondition() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Check if a matrix has a row that satisfies the cardinality condition 1.1.b of the algorithm.
cardinalityOne() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the column index of the element in the pPlus or pMinus set, where pPlus or pMinus has cardinality == 1.
center - Variable in class pipe.modules.classification.Classification
 
center - Variable in class pipe.modules.comparison.Comparison
 
center - Variable in class pipe.modules.matrixes.Matrixes
 
center - Variable in class pipe.modules.simulation.Simulation
 
center - Variable in class pipe.modules.stateSpace.StateSpace
 
changeAnimationMode(boolean) - Method in class pipe.gui.GuiView
 
changeArrayList - Variable in class pipe.dataLayer.DataLayer
An ArrayList used to point to either the Arc, Place or Transition ArrayLists when these ArrayLists are being update
changeText(int) - Method in class pipe.gui.StatusBar
 
changeText(String) - Method in class pipe.gui.StatusBar
 
checkCase11() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Check if a matrix satisfies condition 1.1 of the algorithm.
checkForSave() - Method in class pipe.gui.GuiFrame
 
checkForSaveAll() - Method in class pipe.gui.GuiFrame
 
checkMatrixDimensions(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Check if size(A) == size(B)
children - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
chooser - Variable in class pipe.modules.invariantAnalysis.IAResult
 
Classification - class pipe.modules.classification.Classification.
 
Classification.HandleControl - class pipe.modules.classification.Classification.HandleControl.
 
Classification.HandleControl(Classification, int) - Constructor for class pipe.modules.classification.Classification.HandleControl
 
Classification.MouseHandler - class pipe.modules.classification.Classification.MouseHandler.
 
Classification.MouseHandler(Classification) - Constructor for class pipe.modules.classification.Classification.MouseHandler
 
Classification() - Constructor for class pipe.modules.classification.Classification
 
Classification(DataLayer) - Constructor for class pipe.modules.classification.Classification
 
CLASSIFY - Static variable in class pipe.modules.classification.Classification
 
CLASSIFY - Static variable in class pipe.modules.stateSpace.StateSpace
 
classifyPetriNets() - Method in class pipe.modules.classification.Classification
 
classifyPetriNets() - Method in class pipe.modules.stateSpace.StateSpace
 
classScrollPane - Variable in class pipe.modules.classification.Classification
 
classScrollPane - Variable in class pipe.modules.stateSpace.StateSpace
 
clock - Static variable in class pipe.gui.Animator
 
clone() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Clone the IntMatrix object.
closeAction - Variable in class pipe.gui.GuiFrame
 
CMinus - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
codeEditorPane - Variable in class pipe.modules.classification.Classification
 
codeEditorPane - Variable in class pipe.modules.stateSpace.StateSpace
 
codeScrollPane - Variable in class pipe.modules.classification.Classification
 
codeScrollPane - Variable in class pipe.modules.stateSpace.StateSpace
 
color - Variable in class pipe.dataLayer.PetriNetObject
Color of PetriNetObject
colsToUpdate() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the comlumn indices to be changed by linear combination.
COMPARE - Static variable in class pipe.modules.comparison.Comparison
 
COMPARE - Static variable in class pipe.modules.simulation.Simulation
 
compareArcs(Arc[], Arc[], FileWriter) - Method in class pipe.modules.comparison.Comparison
 
comparePetriNets() - Method in class pipe.modules.comparison.Comparison
 
comparePlaces(Place[], Place[], FileWriter) - Method in class pipe.modules.comparison.Comparison
 
compareTransitions(Transition[], Transition[], FileWriter) - Method in class pipe.modules.comparison.Comparison
 
Comparison - class pipe.modules.comparison.Comparison.
 
COMPARISON_BROWSE - Static variable in class pipe.modules.classification.Classification
 
COMPARISON_BROWSE - Static variable in class pipe.modules.comparison.Comparison
 
COMPARISON_BROWSE - Static variable in class pipe.modules.simulation.Simulation
 
COMPARISON_BROWSE - Static variable in class pipe.modules.stateSpace.StateSpace
 
Comparison.HandleControl - class pipe.modules.comparison.Comparison.HandleControl.
 
Comparison.HandleControl(Comparison, int) - Constructor for class pipe.modules.comparison.Comparison.HandleControl
 
Comparison.PrintableHTMLEditor - class pipe.modules.comparison.Comparison.PrintableHTMLEditor.
 
Comparison.PrintableHTMLEditor(Comparison) - Constructor for class pipe.modules.comparison.Comparison.PrintableHTMLEditor
 
Comparison() - Constructor for class pipe.modules.comparison.Comparison
 
Comparison(DataLayer) - Constructor for class pipe.modules.comparison.Comparison
 
comparisonButton - Variable in class pipe.modules.comparison.Comparison
 
comparisonButton - Variable in class pipe.modules.simulation.Simulation
 
comparisondataLayer - Variable in class pipe.modules.comparison.Comparison
 
comparisondataLayer - Variable in class pipe.modules.simulation.Simulation
 
comparisonTextField - Variable in class pipe.modules.comparison.Comparison
 
comparisonTextField - Variable in class pipe.modules.simulation.Simulation
 
consoleEditorPane - Variable in class pipe.modules.classification.Classification
 
consoleEditorPane - Variable in class pipe.modules.stateSpace.StateSpace
 
consoleScrollPane - Variable in class pipe.modules.classification.Classification
 
consoleScrollPane - Variable in class pipe.modules.stateSpace.StateSpace
 
Constants - interface pipe.gui.Constants.
 
constructWithCopy(int[][]) - Static method in class pipe.modules.invariantAnalysis.IntMatrix
Construct a matrix from a copy of a 2-D array.
contentPane - Variable in class pipe.gui.PetriNetObjectHandler
 
contentPane - Variable in class pipe.gui.CreateArcHandler
 
contentPane - Variable in class pipe.gui.LabelAction
 
contentPane - Variable in class pipe.gui.HandlerFactory
 
contentPane - Variable in class pipe.gui.AnimationHandler
 
contentPane - Variable in class pipe.gui.EditWeightingAction
 
contentPane - Variable in class pipe.gui.GuiView
 
contentPane - Variable in class pipe.gui.EditTokenAction
 
contentPane - Variable in class pipe.gui.DeleteAction
 
contentPane - Variable in class pipe.gui.EditRateAction
 
contentsItem - Variable in class pipe.gui.GuiFrame
 
copy() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Make a deep copy of a matrix
count - Static variable in class pipe.gui.Animator
 
count - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
counter - Static variable in class pipe.gui.CreateArcHandler
 
counter - Static variable in class pipe.gui.PlaceTransitionObjectHandler
 
CPlus - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
createAction - Variable in class pipe.gui.GuiFrame
 
createArc(Element) - Method in class pipe.dataLayer.DataLayer
Creates a Arc object from a Arc DOM Element
createArcElement(Arc, Document) - Method in class pipe.dataLayer.DataLayer
Creates a Arc Element for a PNML Petri-Net DOM
createArcHandler - Variable in class pipe.gui.HandlerFactory
 
CreateArcHandler - class pipe.gui.CreateArcHandler.
Class used to implement methods corresponding to mouse events on places.
CreateArcHandler(CreateGui, Container) - Constructor for class pipe.gui.CreateArcHandler
 
createBackwardsIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Creates Backwards Incidence Matrix from current Petri-Net
createCurrentMarkupMatrix() - Method in class pipe.dataLayer.DataLayer
Creates Initial Markup Matrix from current Petri-Net
createFowardIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Creates Foward Incidence Matrix from current Petri-Net
CreateGui - class pipe.gui.CreateGui.
 
CreateGui.WindowHandler - class pipe.gui.CreateGui.WindowHandler.
 
CreateGui.WindowHandler(CreateGui) - Constructor for class pipe.gui.CreateGui.WindowHandler
 
CreateGui() - Constructor for class pipe.gui.CreateGui
 
createIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Creates Incidence Matrix from current Petri-Net
createInitialMarkupMatrix() - Method in class pipe.dataLayer.DataLayer
Creates Initial Markup Matrix from current Petri-Net
createMatrixes() - Method in class pipe.dataLayer.DataLayer
Creates all Petri-Net Matrixes from current Petri-Net
createPlace(Element) - Method in class pipe.dataLayer.DataLayer
Creates a Place object from a Place DOM Element
createPlaceElement(Place, Document) - Method in class pipe.dataLayer.DataLayer
Creates a Place Element for a PNML Petri-Net DOM
createTransition(Element) - Method in class pipe.dataLayer.DataLayer
Creates a Transition object from a Transition DOM Element
createTransitionElement(Transition, Document) - Method in class pipe.dataLayer.DataLayer
Creates a Transition Element for a PNML Petri-Net DOM
CURRENT_NET - Static variable in class pipe.modules.classification.Classification
 
CURRENT_NET - Static variable in class pipe.modules.comparison.Comparison
 
CURRENT_NET - Static variable in class pipe.modules.matrixes.Matrixes
 
CURRENT_NET - Static variable in class pipe.modules.simulation.Simulation
 
CURRENT_NET - Static variable in class pipe.modules.stateSpace.StateSpace
 
currentItem - Variable in class pipe.gui.AnimationHistory
 
currentMarking - Variable in class pipe.dataLayer.Place
Current Marking
currentMarkupMatrix - Variable in class pipe.dataLayer.DataLayer
Initial Markup Matrix
currentPNMLData() - Method in class pipe.gui.CreateGui
returns the current dataLayer object - used to get a reference to pass to the modules
cycleCount - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
cycles - Variable in class pipe.modules.simulation.Simulation.Evaluate
 

D

DataLayer - class pipe.dataLayer.DataLayer.
DataLayer - Encapsulates entire Petri-Net, also contains functions to perform calculations
DataLayer.Matrix - class pipe.dataLayer.DataLayer.Matrix.
dataLayer - Encapsulates entire Matrix, also contains functions to perform some manipulation TODO: Combined with IntMatrix
DataLayer.Matrix(DataLayer, int[][]) - Constructor for class pipe.dataLayer.DataLayer.Matrix
Construct Matrix from an integer array
DataLayer.Matrix(DataLayer, int, int) - Constructor for class pipe.dataLayer.DataLayer.Matrix
Construct Matrix and set size of internal array
DataLayer() - Constructor for class pipe.dataLayer.DataLayer
Create empty Petri-Net object
DataLayer(File) - Constructor for class pipe.dataLayer.DataLayer
Create Petri-Net object from pnmlFile
DataLayer(String) - Constructor for class pipe.dataLayer.DataLayer
Create Petri-Net object from PNML file with URI pnmlFileName
deadlock - Variable in class pipe.modules.stateSpace.StateSpace
 
deadlockPanel - Variable in class pipe.modules.stateSpace.StateSpace
 
deadlockPath - Variable in class pipe.modules.stateSpace.StateSpace
 
deadlockScrollPane - Variable in class pipe.modules.stateSpace.StateSpace
 
deadlockTextField - Variable in class pipe.modules.stateSpace.StateSpace
 
decCount() - Method in class pipe.dataLayer.Token
 
DEFAULT_BACKGROUND_COLOR - Static variable in interface pipe.gui.Constants
 
DEFAULT_DIRECTORY - Static variable in interface pipe.gui.Constants
 
DEFAULT_ELEMENT_COLOR - Static variable in interface pipe.gui.Constants
 
DEFAULT_ELEMENT_TYPE - Static variable in interface pipe.gui.Constants
 
DEFAULT_FILENAME - Static variable in interface pipe.gui.Constants
 
defaultLabel - Variable in class pipe.modules.classification.Classification
 
defaultLabel - Variable in class pipe.modules.comparison.Comparison
 
defaultLabel - Variable in class pipe.modules.matrixes.Matrixes
 
defaultLabel - Variable in class pipe.modules.simulation.Simulation
 
defaultLabel - Variable in class pipe.modules.stateSpace.StateSpace
 
degree - Variable in class pipe.gui.TransitionHandler
 
DELETE - Static variable in interface pipe.gui.Constants
 
deleteAction - Variable in class pipe.gui.GuiFrame
 
DeleteAction - class pipe.gui.DeleteAction.
Action object that can be used to effect deleting a component.
DeleteAction(Container, Component, CreateGui) - Constructor for class pipe.gui.DeleteAction
 
deleteTokenAction - Variable in class pipe.gui.GuiFrame
 
DELTOKEN - Static variable in interface pipe.gui.Constants
 
depth - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
description - Variable in class pipe.gui.ExtensionFilter
 
disableDrawing() - Method in class pipe.gui.CreateArcHandler
 
disableTransitions() - Method in class pipe.gui.Animator
 
DISPLAY_SCALE_FACTORX - Variable in class pipe.dataLayer.DataLayer
X-Axis Scale Value
DISPLAY_SCALE_FACTORY - Variable in class pipe.dataLayer.DataLayer
Y-Axis Scale Value
DISPLAY_SHIFT_FACTORX - Variable in class pipe.dataLayer.DataLayer
X-Axis Shift Value
DISPLAY_SHIFT_FACTORY - Variable in class pipe.dataLayer.DataLayer
Y-Axis Shift Value
displayName - Variable in class pipe.gui.ModuleClass
 
displayResults() - Method in class pipe.modules.classification.Classification
 
displayResults() - Method in class pipe.modules.comparison.Comparison
 
displayResults() - Method in class pipe.modules.simulation.Simulation
 
displayResults() - Method in class pipe.modules.stateSpace.StateSpace
 
divideEquals(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Divide a matrix by an int in place, A = s*A
doc - Variable in class pipe.gui.AnimationHistory
 
doc - Variable in class pipe.modules.invariantAnalysis.IAResult
 
docread - Variable in class pipe.modules.invariantAnalysis.IAResult
 
DocumentIsSaved - Variable in class pipe.modules.invariantAnalysis.IAResult
 
DocumentIsUnedited - Variable in class pipe.modules.invariantAnalysis.IAResult
 
doesArcs - Variable in class pipe.gui.GuiView.MouseHandler
 
doSetBounds(int, int) - Method in class pipe.dataLayer.Arc
Sets the bounds of the arc with respect to the enclosing container.
draggable - Variable in class pipe.gui.GuiView
 
DRAW - Static variable in interface pipe.gui.Constants
 
drawing - Variable in class pipe.gui.CreateArcHandler
 
drawing - Variable in class pipe.gui.PlaceTransitionObjectHandler
 

E

editorPane - Variable in class pipe.modules.comparison.Comparison
 
editorPane - Variable in class pipe.modules.matrixes.Matrixes
 
editorPane - Variable in class pipe.modules.simulation.Simulation
 
EditRateAction - class pipe.gui.EditRateAction.
Action object that can be used to add a rate to a transition.
EditRateAction(Container, Component, CreateGui) - Constructor for class pipe.gui.EditRateAction
 
EditTokenAction - class pipe.gui.EditTokenAction.
Action object that can be used to effect adding/removing tokens from a place
EditTokenAction(Container, Place) - Constructor for class pipe.gui.EditTokenAction
 
EditWeightingAction - class pipe.gui.EditWeightingAction.
 
EditWeightingAction(Container, ArrowLabel) - Constructor for class pipe.gui.EditWeightingAction
 
edkit - Variable in class pipe.modules.invariantAnalysis.IAResult
 
effectiveSetLength(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
find the number of non-zero elements in a set
eliminateCol(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Eliminate a column from the matrix, column index is toDelete
emph - Variable in class pipe.gui.AnimationHistory
 
emptyPNML() - Method in class pipe.dataLayer.DataLayer
Empty all attributes, turn into empty Petri-Net
enableActions(boolean) - Method in class pipe.gui.GuiFrame
 
enabled - Variable in class pipe.dataLayer.Transition
 
enabledBackwards - Variable in class pipe.dataLayer.Transition
 
endClass - Variable in class pipe.gui.CreateArcHandler
 
EndNodes - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
endPositionX - Variable in class pipe.dataLayer.Arc
End X-axis Position
endPositionY - Variable in class pipe.dataLayer.Arc
End Y-axis Position
endXOffset - Variable in class pipe.dataLayer.Arc
 
endYOffset - Variable in class pipe.dataLayer.Arc
 
error - Variable in class pipe.modules.simulation.Simulation
 
errorResult - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
errorResultsGen() - Method in class pipe.modules.simulation.Simulation.Evaluate
 
evaluateAverages() - Method in class pipe.modules.simulation.Simulation.Evaluate
 
execute(DataLayer) - Method in class pipe.gui.ModuleMethod
Executes the Method that this class represents.
exitAction - Variable in class pipe.gui.GuiFrame
 
extendedFreeChoiceNet(DataLayer) - Method in class pipe.modules.classification.Classification
 
extendedSimpleNet(DataLayer) - Method in class pipe.modules.classification.Classification
 
extension - Variable in class pipe.gui.ExtensionFilter
 
ExtensionFilter - class pipe.gui.ExtensionFilter.
 
ExtensionFilter(String, String) - Constructor for class pipe.gui.ExtensionFilter
 

F

filename - Variable in class pipe.gui.GuiFrame
 
filename - Variable in class pipe.modules.invariantAnalysis.IAResult
 
files - Variable in class pipe.gui.GuiFrame
 
filetype - Variable in class pipe.modules.invariantAnalysis.IAResult
 
FindMarkup(StateSpace.HandleControl.myNode) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
findNetInvariants(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Find the net invariants.
findNonMinimal() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find a column with non-minimal support.
findPEquations(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Find the P equations of the net.
findPInvariants(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Find the P invariants.
findRemainingNZCoef(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the coefficients corresponding to column indices of all but the first non zero elements of row h.
findRemainingNZIndices(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the column indices of all but the first non zero elements of row h.
findSubset(int[], int[]) - Static method in class pipe.modules.classification.Classification
 
findTInvariants(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Find the T invariants.
findVectors(IntMatrix) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Transform a matrix to obtain the minimal generating set of vectors.
FIRE - Static variable in interface pipe.gui.Constants
 
fire(int) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
fireAction - Variable in class pipe.gui.GuiFrame
 
firedTransitions - Variable in class pipe.gui.Animator
 
fireRandomTransition() - Method in class pipe.dataLayer.DataLayer
Fire a random transition, takes rate (probability) of Transitions into account
fireRandomTransitionBackwards() - Method in class pipe.dataLayer.DataLayer
 
fireTransition(int) - Method in class pipe.dataLayer.DataLayer
Fire a specified transition, no affect if transtions not enabled
fireTransition(Transition) - Method in class pipe.dataLayer.DataLayer
Fire a specified transition, no affect if transtions not enabled
fireTransitionBackwards(int) - Method in class pipe.dataLayer.DataLayer
 
fireTransitionBackwards(Transition) - Method in class pipe.dataLayer.DataLayer
 
firstNonZeroElementIndex(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the column index of the first non zero element of row h.
firstNonZeroRowIndex() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the first non-zero row of a matrix.
fixedWidthDoubletoString(double, int, int) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Format double with Fw.d.
fontScale - Variable in class pipe.modules.comparison.Comparison
 
fontScale - Variable in class pipe.modules.matrixes.Matrixes
 
fontScale - Variable in class pipe.modules.simulation.Simulation
 
forwardcount - Static variable in class pipe.gui.Animator
 
forwardsPlaceSet(int) - Method in class pipe.modules.classification.Classification
 
Found_An_Omega - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
fowardsIncidenceMatrix - Variable in class pipe.dataLayer.DataLayer
Foward Incidence Matrix
frameTitle - Variable in class pipe.gui.GuiFrame
 
freeChoiceNet(DataLayer) - Method in class pipe.modules.classification.Classification
 
freeSpace - Variable in class pipe.gui.CreateGui
 
fSeq - Variable in class pipe.gui.AnimationHistory
Holds all the transitions in the sequence

G

g2D - Variable in class pipe.gui.GuiView
 
gcd() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the greatest common divisor of a column matrix (vector) of integers.
gcd2(int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the greatest common divisor of 2 integers.
get(int, int) - Method in class pipe.dataLayer.DataLayer.Matrix
Get specific value in matrix
get(int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get a single element.
get(int, int) - Method in class pipe.modules.matrixes.Matrixes.Matrix
 
getAnimationHandler() - Method in class pipe.gui.HandlerFactory
 
getAnimationHistory() - Method in class pipe.gui.CreateGui
 
getAnimator() - Method in class pipe.gui.CreateGui
 
getApp() - Method in class pipe.gui.CreateGui
 
getArc() - Method in class pipe.dataLayer.ArrowLabel
Returns Label's Arc
getArc(String) - Method in class pipe.dataLayer.DataLayer
Return the Arc called arcName from the Petri-Net
getArcAngle() - Method in class pipe.dataLayer.Arc
Returns the depression angle of the arc wrt the y axis of the coordinate space of the View (M/V/C Design Pattern)
getArcHandler() - Method in class pipe.gui.HandlerFactory
 
getArcs() - Method in class pipe.dataLayer.DataLayer
Get an List of all the Arcs objects in the Petri-Net
getArcWithSource(PetriNetObject) - Method in class pipe.dataLayer.DataLayer
Return the Arc called arcName from the Petri-Net
getArcWithTarget(PetriNetObject) - Method in class pipe.dataLayer.DataLayer
Return the Arc called arcName from the Petri-Net
getArray() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Access the internal two-dimensional array.
getArrayCopy() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Copy the internal two-dimensional array.
getArrow() - Method in class pipe.dataLayer.Arc
 
getBackwardsIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Return the Backward Incidence Matrix for the Petri-Net
getBounds() - Method in class pipe.dataLayer.Token
Get boundaries of java.awt.Rectangle
getColor() - Method in class pipe.dataLayer.PetriNetObject
Get color
getColumnDimension() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get column dimension.
getColumnPackedCopy() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Make a one-dimensional column packed copy of the internal array.
getConclusionsP() - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Draw conclusions based on the P Invariants.
getConclusionsT() - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Draw conclusions based on the T Invariants.
getCount() - Method in class pipe.dataLayer.Token
 
getCreateArcHandler() - Method in class pipe.gui.HandlerFactory
 
getCurrentMarking() - Method in class pipe.dataLayer.Place
Get current marking
getCurrentMarkingObject() - Method in class pipe.dataLayer.Place
Get current marking
getCurrentMarkupMatrix() - Method in class pipe.dataLayer.DataLayer
Return the Initial Markup Matrix for the Petri-Net
getDescription() - Method in class pipe.gui.ExtensionFilter
 
getDOM() - Method in class pipe.dataLayer.DataLayer
Return a DOM for the Petri-Net
getDOM(File) - Method in class pipe.dataLayer.DataLayer
Return a DOM for the PNML File pnmlFile
getDOM(String) - Method in class pipe.dataLayer.DataLayer
Return a DOM for the PNML file at URI pnmlFileName
getEndPositionX() - Method in class pipe.dataLayer.Arc
Get X-axis value of end position
getEndPositionXObject() - Method in class pipe.dataLayer.Arc
Get X-axis value of end position returns null if value not yet entered
getEndPositionY() - Method in class pipe.dataLayer.Arc
Get Y-axis value of end position
getEndPositionYObject() - Method in class pipe.dataLayer.Arc
Get Y-axis value of end position returns null if value not yet entered
getFile() - Method in class pipe.gui.CreateGui
 
getFowardsIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Return the Foward Incidence Matrix for the Petri-Net
getFreeSpace() - Method in class pipe.gui.CreateGui
 
getId() - Method in class pipe.dataLayer.PetriNetObject
Get id returns null if value not yet entered
getId() - Method in class pipe.dataLayer.PlaceTransitionObject
Get id
getId() - Method in class pipe.dataLayer.Arc
Get id
getIncidenceMatrix() - Method in class pipe.dataLayer.DataLayer
Return the Incidence Matrix for the Petri-Net
getInitialMarking() - Method in class pipe.dataLayer.Place
Get initial marking
getInitialMarkingObject() - Method in class pipe.dataLayer.Place
Get initial marking
getInitialMarkupMatrix() - Method in class pipe.dataLayer.DataLayer
Return the Initial Markup Matrix for the Petri-Net
getInscription() - Method in class pipe.dataLayer.Arc
Get inscription returns null if value not yet entered
getInscriptionOffsetX() - Method in class pipe.dataLayer.Arc
Get X-axis offset for inscription position
getInscriptionOffsetXObject() - Method in class pipe.dataLayer.Arc
Get X-axis offset for inscription position returns null if value not yet entered
getInscriptionOffsetY() - Method in class pipe.dataLayer.Arc
Get Y-axis offset for inscription position
getInscriptionOffsetYObject() - Method in class pipe.dataLayer.Arc
Get Y-axis offset for inscription position returns null if value not yet entered
getIntArray() - Method in class pipe.dataLayer.DataLayer.Matrix
Return internal array of matrix
getIntArray() - Method in class pipe.modules.matrixes.Matrixes.Matrix
 
getListPosition(PetriNetObject) - Method in class pipe.dataLayer.DataLayer
Get position of Petri-Net Object in ArrayList of given Petri-Net Object's type
getMarkingOffsetX() - Method in class pipe.dataLayer.Place
Get X-axis offset for initial marking
getMarkingOffsetXObject() - Method in class pipe.dataLayer.Place
Get X-axis offset for initial marking
getMarkingOffsetY() - Method in class pipe.dataLayer.Place
Get Y-axis offset for initial marking
getMarkingOffsetYObject() - Method in class pipe.dataLayer.Place
Get Y-axis offset for initial marking
getMatrix(int[], int[]) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get a submatrix.
getMatrix(int[], int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get a submatrix.
getMatrix(int, int, int[]) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get a submatrix.
getMatrix(int, int, int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get a submatrix.
getMode() - Static method in class pipe.gui.ModeAdaptor
 
getModel() - Method in class pipe.gui.CreateGui
 
getModel(int) - Method in class pipe.gui.CreateGui
 
getModeType() - Method in class pipe.dataLayer.Place
method indicates which button at the top of the panel has been pressed - this requires implementation properly.
getModuleClassNames(File) - Method in class pipe.gui.ModuleManager
Finds all the fully qualified (ie: full package names) module classnames by recursively searching the rootDirectories
getModuleDir() - Method in class pipe.gui.ModuleManager
Returns the root directory under which the modules will be found.
getModuleTree() - Method in class pipe.gui.ModuleManager
Method creates and returns a Module management tree.
getMovable() - Method in class pipe.dataLayer.PetriNetObject
Returns whether PetriNetObject is movable
getName() - Method in class pipe.dataLayer.PlaceTransitionObject
Get name
getName() - Method in interface pipe.modules.Module
 
getName() - Method in class pipe.modules.classification.Classification
 
getName() - Method in class pipe.modules.comparison.Comparison
 
getName() - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
getName() - Method in class pipe.modules.matrixes.Matrixes
 
getName() - Method in class pipe.modules.simulation.Simulation
 
getName() - Method in class pipe.modules.stateSpace.StateSpace
 
getNameLabel() - Method in class pipe.dataLayer.PetriNetObject
Returns Name Label - is used by GuiView
getNameLabel() - Method in class pipe.dataLayer.ArrowLabel
Returns label which displays the weighting of the arc it's attached to.
getNameOffsetX() - Method in class pipe.dataLayer.PlaceTransitionObject
Get X-axis offset for name position
getNameOffsetXObject() - Method in class pipe.dataLayer.PlaceTransitionObject
Get X-axis offset for name position returns null if value not yet entered
getNameOffsetY() - Method in class pipe.dataLayer.PlaceTransitionObject
Get Y-axis offset for name position
getNameOffsetYObject() - Method in class pipe.dataLayer.PlaceTransitionObject
Get Y-axis offset for name position returns null if value not yet entered
getNegativeIndices(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
For row rowNo of the matrix received return the column indices of all the negative elements
getnumberSequences() - Method in class pipe.gui.AnimateAction
 
getPackageName(File, String) - Method in class pipe.gui.ModuleManager
Returns the package name based on the directory structure the class file sits in
getPetriNetObjects() - Method in class pipe.dataLayer.DataLayer
Returns an iterator of all PetriNetObjects - the order of these cannot be guaranteed.
getPlace(int) - Method in class pipe.dataLayer.DataLayer
Return the Place called placeName from the Petri-Net
getPlace(String) - Method in class pipe.dataLayer.DataLayer
Return the Place called placeName from the Petri-Net
getPlaceHandler() - Method in class pipe.gui.HandlerFactory
 
getPlaces() - Method in class pipe.dataLayer.DataLayer
Get an List of all the Place objects in the Petri-Net
getPlaceTransitionObject(String) - Method in class pipe.dataLayer.DataLayer
Return the PlaceTransitionObject called ptoName from the Petri-Net
getpnobjectColor() - Method in class pipe.gui.GuiFrame
 
getpnobjectType() - Method in class pipe.gui.GuiFrame
 
getPopup(MouseEvent) - Method in class pipe.gui.PetriNetObjectHandler
Creates the popup menu that the user will see when they right click on a component
getPopup(MouseEvent) - Method in class pipe.gui.PlaceHandler
Creates the popup menu that the user will see when they right click on a component
getPopup(MouseEvent) - Method in class pipe.gui.ArcHandler
Creates the popup menu that the user will see when they right click on a component
getPopup(MouseEvent) - Method in class pipe.gui.TransitionHandler
Creates the popup menu that the user will see when they right click on a component
getPopup(MouseEvent) - Method in class pipe.gui.ModuleManager
 
getPositionX() - Method in class pipe.dataLayer.PlaceTransitionObject
Get X-axis position
getPositionXObject() - Method in class pipe.dataLayer.PlaceTransitionObject
Get X-axis position returns null if value not yet entered
getPositionY() - Method in class pipe.dataLayer.PlaceTransitionObject
Get Y-axis position
getPositionYObject() - Method in class pipe.dataLayer.PlaceTransitionObject
Get Y-axis position returns null if value not yet entered
getPositiveIndices(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
For row rowNo of the matrix received return the column indices of all the positive elements
getQuad() - Method in class pipe.dataLayer.Arc
Returns quadrant in which the arc is drawn on in the View (M/V/C Design Pattern)
getRate() - Method in class pipe.dataLayer.Transition
 
getRowDimension() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Get row dimension.
getRowPackedCopy() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Make a one-dimensional row packed copy of the internal array.
getShape() - Method in class pipe.dataLayer.Token
Get shape of object for drawing on screen
getShape() - Method in class pipe.dataLayer.Arc
Get Shape of PetriNetObject
getSource() - Method in class pipe.dataLayer.Arc
Get source returns null if value not yet entered
getStartPositionX() - Method in class pipe.dataLayer.Arc
Get X-axis value of start position
getStartPositionXObject() - Method in class pipe.dataLayer.Arc
Get X-axis value of start position returns null if value not yet entered
getStartPositionY() - Method in class pipe.dataLayer.Arc
Get Y-axis value of start position
getStartPositionYObject() - Method in class pipe.dataLayer.Arc
Get Y-axis value of start position returns null if value not yet entered
getStatusBar() - Method in class pipe.gui.GuiFrame
 
getTab() - Method in class pipe.gui.CreateGui
 
getTarget() - Method in class pipe.dataLayer.Arc
Get target returns null if value not yet entered
getTheApp() - Method in class pipe.gui.GuiView
 
getTransition() - Method in class pipe.gui.AnimationHandler
 
getTransition(int) - Method in class pipe.dataLayer.DataLayer
Return the Transition called transitionName from the Petri-Net
getTransition(String) - Method in class pipe.dataLayer.DataLayer
Return the Transition called transitionName from the Petri-Net
getTransitionHandler() - Method in class pipe.gui.HandlerFactory
 
getTransitions() - Method in class pipe.dataLayer.DataLayer
Get an List of all the Transition objects in the Petri-Net
getUniqueId() - Method in class pipe.dataLayer.Token
returns a unique id for an arc of the form to_n
getURI() - Method in class pipe.dataLayer.DataLayer
Return a URI for the PNML file for the Petri-Net
getView() - Method in class pipe.gui.CreateGui
 
getView(int) - Method in class pipe.gui.CreateGui
 
getWeighting() - Method in class pipe.dataLayer.Arc
Get Weighting
getWeightingObject() - Method in class pipe.dataLayer.Arc
Get Weighting returns null if value not yet entered
getWeightingOffsetX() - Method in class pipe.dataLayer.Arc
Get X-axis offset for weighting position
getWeightingOffsetXObject() - Method in class pipe.dataLayer.Arc
Get X-axis offset for weighting position returns null if value not yet entered
getWeightingOffsetY() - Method in class pipe.dataLayer.Arc
Get Y-axis offset for weighting position
getWeightingOffsetYObject() - Method in class pipe.dataLayer.Arc
Get Y-axis offset for weighting position returns null if value not yet entered
gridbag - Variable in class pipe.modules.classification.Classification
 
gridbag - Variable in class pipe.modules.comparison.Comparison
 
gridbag - Variable in class pipe.modules.matrixes.Matrixes
 
gridbag - Variable in class pipe.modules.simulation.Simulation
 
gridbag - Variable in class pipe.modules.stateSpace.StateSpace
 
gridbagConstraints - Variable in class pipe.modules.classification.Classification
 
gridbagConstraints - Variable in class pipe.modules.comparison.Comparison
 
gridbagConstraints - Variable in class pipe.modules.matrixes.Matrixes
 
gridbagConstraints - Variable in class pipe.modules.simulation.Simulation
 
gridbagConstraints - Variable in class pipe.modules.stateSpace.StateSpace
 
gui - Variable in class pipe.gui.HandlerFactory
 
gui - Variable in class pipe.gui.ModuleManager
 
guiFrame - Variable in class pipe.modules.classification.Classification
 
guiFrame - Variable in class pipe.modules.comparison.Comparison
 
guiFrame - Variable in class pipe.modules.matrixes.Matrixes
 
guiFrame - Variable in class pipe.modules.simulation.Simulation
 
guiFrame - Variable in class pipe.modules.stateSpace.StateSpace
 
GuiFrame - class pipe.gui.GuiFrame.
 
GuiFrame.AboutDialog - class pipe.gui.GuiFrame.AboutDialog.
 
GuiFrame.AboutDialog(GuiFrame, Frame, String, String) - Constructor for class pipe.gui.GuiFrame.AboutDialog
 
GuiFrame.FileAction - class pipe.gui.GuiFrame.FileAction.
 
GuiFrame.FileAction(GuiFrame, String) - Constructor for class pipe.gui.GuiFrame.FileAction
 
GuiFrame.FileAction(GuiFrame, String, KeyStroke) - Constructor for class pipe.gui.GuiFrame.FileAction
 
GuiFrame.FileAction(GuiFrame, String, String) - Constructor for class pipe.gui.GuiFrame.FileAction
 
GuiFrame.TypeAction - class pipe.gui.GuiFrame.TypeAction.
 
GuiFrame.TypeAction(GuiFrame, String, int) - Constructor for class pipe.gui.GuiFrame.TypeAction
 
GuiFrame.TypeAction(GuiFrame, String, int, String) - Constructor for class pipe.gui.GuiFrame.TypeAction
 
GuiFrame(String, CreateGui) - Constructor for class pipe.gui.GuiFrame
 
guiResultsPanel - Variable in class pipe.modules.classification.Classification
 
guiResultsPanel - Variable in class pipe.modules.matrixes.Matrixes
 
guiResultsPanel - Variable in class pipe.modules.stateSpace.StateSpace
 
GuiView - class pipe.gui.GuiView.
The petrinet is drawn onto this frame.
GuiView.MouseHandler - class pipe.gui.GuiView.MouseHandler.
Class which implements all the Mouse action events attached to the JInternalFrame.
GuiView.MouseHandler(GuiView) - Constructor for class pipe.gui.GuiView.MouseHandler
 
GuiView(CreateGui) - Constructor for class pipe.gui.GuiView
 

H

handlerFactory - Variable in class pipe.gui.GuiView
 
HandlerFactory - class pipe.gui.HandlerFactory.
Class responsible for instantiating handlers to be attached to PetriNetObjects
HandlerFactory(CreateGui, Container) - Constructor for class pipe.gui.HandlerFactory
 
hasNegativeElements() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find if a column vector has negative elements.
height - Variable in class pipe.dataLayer.PlaceTransitionObject
Height of object
height - Variable in class pipe.dataLayer.NameLabel
 
height - Variable in class pipe.dataLayer.ArrowLabel
 
HEIGHT - Static variable in class pipe.dataLayer.Token
 
HEIGHT - Static variable in class pipe.dataLayer.Transition
Place Width
HEIGHT - Static variable in class pipe.dataLayer.Place
Place Width
height() - Method in class pipe.dataLayer.ArrowLabel
Returns height without overriding the superclass methods
highlighted - Variable in class pipe.dataLayer.Transition
 
highlightEnabledTransitions() - Method in class pipe.gui.Animator
 

I

i - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
IAResult - class pipe.modules.invariantAnalysis.IAResult.
 
IAResult(String) - Constructor for class pipe.modules.invariantAnalysis.IAResult
 
id - Variable in class pipe.dataLayer.PetriNetObject
Id
identity(int, int) - Static method in class pipe.modules.invariantAnalysis.IntMatrix
Generate identity matrix]
imageFileName - Variable in class pipe.gui.AnimateAction
 
imageFileName - Variable in class pipe.gui.GuiFrame.TypeAction
 
incCount() - Method in class pipe.dataLayer.Token
Methods used to manipulate the transition count
incidenceMatrix - Variable in class pipe.dataLayer.DataLayer
Incidence Matrix
IncidenceMatrix - Variable in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
init() - Method in class pipe.gui.CreateGui
 
initGuiFrame() - Method in class pipe.modules.classification.Classification
 
initGuiFrame() - Method in class pipe.modules.comparison.Comparison
 
initGuiFrame() - Method in class pipe.modules.matrixes.Matrixes
 
initGuiFrame() - Method in class pipe.modules.simulation.Simulation
 
initGuiFrame() - Method in class pipe.modules.stateSpace.StateSpace
 
initializeMatrixes() - Method in class pipe.dataLayer.DataLayer
Initialize Arrays
initialMarking - Variable in class pipe.dataLayer.Place
Initial Marking
initialMarkupMatrix - Variable in class pipe.dataLayer.DataLayer
Initial Markup Matrix
initStyles() - Method in class pipe.gui.AnimationHistory
 
initText - Variable in class pipe.gui.AnimationHistory
 
input - Variable in class pipe.modules.invariantAnalysis.IAResult
 
inscription - Variable in class pipe.dataLayer.Arc
Inscription
inscriptionOffsetX - Variable in class pipe.dataLayer.Arc
Inscription X-axis Offset
inscriptionOffsetY - Variable in class pipe.dataLayer.Arc
Inscription Y-axis Offset
insertModel(DataLayer) - Method in class pipe.gui.CreateGui
 
InsertOmegas() - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
INT_FIELD_SIZE - Variable in class pipe.modules.simulation.Simulation
 
IntMatrix - class pipe.modules.invariantAnalysis.IntMatrix.
 
IntMatrix(int[][]) - Constructor for class pipe.modules.invariantAnalysis.IntMatrix
Construct a matrix from a 2-D array.
IntMatrix(int[][], int, int) - Constructor for class pipe.modules.invariantAnalysis.IntMatrix
Construct a matrix quickly without checking arguments.
IntMatrix(int[], int) - Constructor for class pipe.modules.invariantAnalysis.IntMatrix
Construct a matrix from a one-dimensional packed array
IntMatrix(int, int) - Constructor for class pipe.modules.invariantAnalysis.IntMatrix
Construct an m-by-n matrix of zeros.
IntMatrix(int, int, int) - Constructor for class pipe.modules.invariantAnalysis.IntMatrix
Construct an m-by-n constant matrix.
InvariantAnalysis - class pipe.modules.invariantAnalysis.InvariantAnalysis.
 
InvariantAnalysis() - Constructor for class pipe.modules.invariantAnalysis.InvariantAnalysis
 
isCovered() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find if a matrix of invariants is covered.
isDragging - Variable in class pipe.dataLayer.PlaceTransitionObject
Used in the mouse events to control dragging
isDragging - Variable in class pipe.gui.PetriNetObjectHandler
 
isEmptySet(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
check if an array is empty (only zeros)
isEnabled() - Method in class pipe.dataLayer.Transition
Determines whether Transition is enabled
isEnabled(boolean) - Method in class pipe.dataLayer.Transition
Determines whether Transition is enabled
isEnabledBackwards() - Method in class pipe.dataLayer.Transition
Determines whether Transition is enabled backwards
isModule(File, String) - Method in class pipe.gui.ModuleManager
Tests whether a file implements the module interface.
isSubset(int[], int[]) - Static method in class pipe.modules.classification.Classification
 
isSubSetRelationship(int[], int[]) - Method in class pipe.modules.classification.Classification
 
isZeroMatrix() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Check if a matrix is all zeros.
isZeroRow(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
isZeroRow returns true if the ith row is all zeros

J

j - Variable in class pipe.modules.simulation.Simulation.Evaluate
 

K

k - Variable in class pipe.modules.simulation.Simulation.Evaluate
 

L

label - Variable in class pipe.gui.LabelAction
 
label - Variable in class pipe.gui.EditWeightingAction
 
label - Variable in class pipe.gui.EditTokenAction
 
label - Variable in class pipe.gui.DeleteAction
 
LabelAction - class pipe.gui.LabelAction.
Action object that can be used to effect labelling a component.
LabelAction(Container, Component) - Constructor for class pipe.gui.LabelAction
 
last - Variable in class pipe.gui.GuiView
 
lastTab - Variable in class pipe.gui.GuiFrame
 
lastTransition - Variable in class pipe.gui.Animator
 
leftOffset() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
leftOffset() - Method in class pipe.dataLayer.Transition
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
leftOffset() - Method in class pipe.dataLayer.Place
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
leftPane - Variable in class pipe.gui.CreateGui
The Module will go in the top pane, the animation window in the bottom pane
line1 - Variable in class pipe.dataLayer.ArrowLabel
 
line2 - Variable in class pipe.dataLayer.ArrowLabel
 
linearlyCombine(int, int[], int[], int[]) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Add a linear combination of column k to columns in array j[].
linearlyCombine(int, int, int[], int[]) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Add a linear combination of column k to columns in array j[].
load - Variable in class pipe.modules.comparison.Comparison
 
load - Variable in class pipe.modules.simulation.Simulation
 
load_modules - Variable in class pipe.gui.ModuleManager
 
load() - Method in class pipe.modules.comparison.Comparison
 
load() - Method in class pipe.modules.invariantAnalysis.IAResult
 
load() - Method in class pipe.modules.matrixes.Matrixes
 
load() - Method in class pipe.modules.simulation.Simulation
 
loadNodeString - Variable in class pipe.gui.ModuleManager
 
loadPNML(String) - Method in class pipe.dataLayer.DataLayer
Load PNML file

M

m - Variable in class pipe.modules.invariantAnalysis.IntMatrix
Row and column dimensions.
main(String[]) - Static method in class RunGui
 
mainPanel - Variable in class pipe.modules.classification.Classification
 
mainPanel - Variable in class pipe.modules.comparison.Comparison
 
mainPanel - Variable in class pipe.modules.simulation.Simulation
 
mainPanel - Variable in class pipe.modules.stateSpace.StateSpace
 
mainSettingsOuterPanel - Variable in class pipe.modules.simulation.Simulation
 
mainSettingsPanel - Variable in class pipe.modules.simulation.Simulation
 
mainToolKit - Variable in class pipe.modules.classification.Classification
 
mainToolKit - Variable in class pipe.modules.comparison.Comparison
 
mainToolKit - Variable in class pipe.modules.matrixes.Matrixes
 
mainToolKit - Variable in class pipe.modules.simulation.Simulation
 
mainToolKit - Variable in class pipe.modules.stateSpace.StateSpace
 
markedGraph(DataLayer) - Method in class pipe.modules.classification.Classification
 
markingOffsetX - Variable in class pipe.dataLayer.Place
Initial Marking X-axis Offset
markingOffsetY - Variable in class pipe.dataLayer.Place
Initial Marking Y-axis Offset
markup - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
Markup - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
MarkupCompare(int[]) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
markupHistoryMatrix - Variable in class pipe.dataLayer.DataLayer
Markup Storage Array
markupMatrixAnimationStorage - Variable in class pipe.dataLayer.DataLayer
Markup Matrix Storage used during animation
markupStore - Variable in class pipe.dataLayer.DataLayer
Markup Matrix Storage
matrix - Variable in class pipe.dataLayer.DataLayer.Matrix
Internal Storage of integers
matrix - Variable in class pipe.modules.matrixes.Matrixes.Matrix
 
Matrixes - class pipe.modules.matrixes.Matrixes.
 
Matrixes.HandleControl - class pipe.modules.matrixes.Matrixes.HandleControl.
 
Matrixes.HandleControl(Matrixes, int) - Constructor for class pipe.modules.matrixes.Matrixes.HandleControl
 
Matrixes.Matrix - class pipe.modules.matrixes.Matrixes.Matrix.
 
Matrixes.Matrix(Matrixes, int[][]) - Constructor for class pipe.modules.matrixes.Matrixes.Matrix
 
Matrixes.Matrix(Matrixes, int, int) - Constructor for class pipe.modules.matrixes.Matrixes.Matrix
 
Matrixes.MouseHandler - class pipe.modules.matrixes.Matrixes.MouseHandler.
 
Matrixes.MouseHandler(Matrixes) - Constructor for class pipe.modules.matrixes.Matrixes.MouseHandler
 
Matrixes.PrintableHTMLEditor - class pipe.modules.matrixes.Matrixes.PrintableHTMLEditor.
 
Matrixes.PrintableHTMLEditor(Matrixes) - Constructor for class pipe.modules.matrixes.Matrixes.PrintableHTMLEditor
 
Matrixes() - Constructor for class pipe.modules.matrixes.Matrixes
 
Matrixes(DataLayer) - Constructor for class pipe.modules.matrixes.Matrixes
 
maybeShowPopup(MouseEvent) - Method in class pipe.gui.PetriNetObjectHandler
Displays the popup menu
maybeShowPopup(MouseEvent) - Method in class pipe.gui.ModuleManager
Displays the popup menu
menuBar - Variable in class pipe.gui.GuiFrame
 
methods - Variable in class pipe.gui.ModuleClass
 
midx - Variable in class pipe.dataLayer.ArrowLabel
 
midX - Variable in class pipe.dataLayer.Arc
coordinates for the arrow
midy - Variable in class pipe.dataLayer.ArrowLabel
 
midY - Variable in class pipe.dataLayer.Arc
 
minus(DataLayer.Matrix) - Method in class pipe.dataLayer.DataLayer.Matrix
Subtract a another matrix from current matrix
minus(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
C = A - B
minusEquals(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
A = A - B
modClass - Variable in class pipe.gui.ModuleMethod
 
mode - Static variable in class pipe.gui.ModeAdaptor
 
ModeAdaptor - class pipe.gui.ModeAdaptor.
 
ModeAdaptor() - Constructor for class pipe.gui.ModeAdaptor
 
modelFile - Variable in class pipe.gui.GuiFrame
 
modelFilename - Variable in class pipe.gui.GuiFrame
 
modify(double, double, double, double) - Method in class pipe.dataLayer.PetriNetObject
Modifies coordinates implemented by all Place, Transition, Arc
modify(double, double, double, double) - Method in class pipe.dataLayer.Token
Modifies start and end X and Y coords - does nothing.
modify(double, double, double, double) - Method in class pipe.dataLayer.Transition
Modifies start and end coordinates of shape - does nothing
modify(double, double, double, double) - Method in class pipe.dataLayer.ArrowLabel
required by PetrinetObject, does nothing for now
modify(double, double, double, double) - Method in class pipe.dataLayer.Place
Modifies start and end X and Y coords - does nothing.
modify(double, double, double, double) - Method in class pipe.dataLayer.Arc
Modifies end coordinates of arc
modMeth - Variable in class pipe.gui.ModuleMethod
 
Module - interface pipe.modules.Module.
 
MODULE_NAME - Static variable in class pipe.modules.classification.Classification
 
MODULE_NAME - Static variable in class pipe.modules.comparison.Comparison
 
MODULE_NAME - Static variable in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
MODULE_NAME - Static variable in class pipe.modules.matrixes.Matrixes
 
MODULE_NAME - Static variable in class pipe.modules.simulation.Simulation
 
MODULE_NAME - Static variable in class pipe.modules.stateSpace.StateSpace
 
ModuleClass - class pipe.gui.ModuleClass.
ModuleClass encapsulates information about the Module class and is designed to be used as a userobject in nodes in a JTree, in this case for nodes representing module classes.
ModuleClass(Class) - Constructor for class pipe.gui.ModuleClass
Sets up the private fields, includes instantiating an object and calling the getName method used to set the displayName.
ModuleFilter - class pipe.gui.ModuleFilter.
Filter to select all files in a directory with a 'class' extension.
ModuleFilter() - Constructor for class pipe.gui.ModuleFilter
 
ModuleManager - class pipe.gui.ModuleManager.
The ModuleManager class contains methods to create swing components to allow the user to load modules and execute methods within them.
ModuleManager.RemoveModuleAction - class pipe.gui.ModuleManager.RemoveModuleAction.
Action object that can be used to remove a module from the ModuleTree
ModuleManager.RemoveModuleAction(ModuleManager, TreePath) - Constructor for class pipe.gui.ModuleManager.RemoveModuleAction
 
ModuleManager.TreeHandler - class pipe.gui.ModuleManager.TreeHandler.
 
ModuleManager.TreeHandler(ModuleManager) - Constructor for class pipe.gui.ModuleManager.TreeHandler
 
ModuleManager(CreateGui) - Constructor for class pipe.gui.ModuleManager
 
ModuleMethod - class pipe.gui.ModuleMethod.
ModuleMethod encapsulates information about a module method and is designed to be used as a userobject in nodes in a JTree.
ModuleMethod(Class, Method) - Constructor for class pipe.gui.ModuleMethod
 
moduleTree - Variable in class pipe.gui.ModuleManager
 
more_Than_One_Token - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
mouseClicked(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseClicked(MouseEvent) - Method in class pipe.dataLayer.Transition
 
mouseClicked(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseClicked(MouseEvent) - Method in class pipe.gui.PlaceHandler
 
mouseClicked(MouseEvent) - Method in class pipe.gui.AnimationHandler
 
mouseClicked(MouseEvent) - Method in class pipe.gui.TransitionHandler
 
mouseDragged(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseDragged(MouseEvent) - Method in class pipe.dataLayer.PlaceTransitionObject
Implemented the moving of the objects - now done in the handler
mouseDragged(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseDragged(MouseEvent) - Method in class pipe.gui.PetriNetObjectHandler
Implements the moving of the objects
mouseDragged(MouseEvent) - Method in class pipe.gui.GuiView.MouseHandler
 
mouseEntered(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseEntered(MouseEvent) - Method in class pipe.dataLayer.Transition
 
mouseEntered(MouseEvent) - Method in class pipe.dataLayer.Place
 
mouseEntered(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseExited(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseExited(MouseEvent) - Method in class pipe.dataLayer.Transition
 
mouseExited(MouseEvent) - Method in class pipe.dataLayer.Place
 
mouseExited(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseMoved(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseMoved(MouseEvent) - Method in class pipe.dataLayer.Transition
 
mouseMoved(MouseEvent) - Method in class pipe.dataLayer.Place
 
mouseMoved(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseMoved(MouseEvent) - Method in class pipe.modules.classification.Classification.MouseHandler
 
mouseMoved(MouseEvent) - Method in class pipe.modules.matrixes.Matrixes.MouseHandler
 
mouseMoved(MouseEvent) - Method in class pipe.modules.stateSpace.StateSpace.MouseHandler
 
mousePressed(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mousePressed(MouseEvent) - Method in class pipe.dataLayer.PlaceTransitionObject
Event handler for when the user presses down on the mouse, this is used in conjunction with mouseDragged and mouseReleased to implement the moving action
mousePressed(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mousePressed(MouseEvent) - Method in class pipe.gui.PetriNetObjectHandler
Handler for mousePressed event - currently includes code for displaying a menu which the mouse is right clicked, or deleting/moving a component according to the buttons modeType (ie.
mousePressed(MouseEvent) - Method in class pipe.gui.CreateArcHandler
 
mousePressed(MouseEvent) - Method in class pipe.gui.GuiView.MouseHandler
 
mousePressed(MouseEvent) - Method in class pipe.gui.ModuleManager.TreeHandler
 
mouseReleased(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
mouseReleased(MouseEvent) - Method in class pipe.dataLayer.PlaceTransitionObject
Implemented the moving action - now moved into the handler
mouseReleased(MouseEvent) - Method in class pipe.dataLayer.Arc
 
mouseReleased(MouseEvent) - Method in class pipe.gui.PetriNetObjectHandler
Event handler for when the user releases the mouse, used in conjunction with mouseDragged and mouseReleased to implement the moving action
mouseReleased(MouseEvent) - Method in class pipe.gui.GuiView.MouseHandler
 
movable - Variable in class pipe.dataLayer.PetriNetObject
when a pnobject has an arc attached to it we don't allow it to move
MOVE - Static variable in interface pipe.gui.Constants
 
moveAction - Variable in class pipe.gui.GuiFrame
 
myData - Variable in class pipe.modules.simulation.Simulation.Evaluate
 

N

n - Variable in class pipe.modules.invariantAnalysis.IntMatrix
Row and column dimensions.
name - Variable in class pipe.dataLayer.PlaceTransitionObject
Name
nameLabel - Variable in class pipe.gui.DeleteAction
 
NameLabel - class pipe.dataLayer.NameLabel.
NameLabel - This class is for the labels of PN Objects
NameLabel() - Constructor for class pipe.dataLayer.NameLabel
 
NameLabel(String) - Constructor for class pipe.dataLayer.NameLabel
 
nameOffsetX - Variable in class pipe.dataLayer.PlaceTransitionObject
Name X-axis Offset
nameOffsetY - Variable in class pipe.dataLayer.PlaceTransitionObject
Name Y-axis Offset
NE - Static variable in class pipe.dataLayer.Arc
Members to indicate the different directions that the arc can be drawn in
netChanged - Variable in class pipe.gui.GuiView
 
nextTransition - Variable in class pipe.gui.Animator
 
NO_ACTION - Static variable in class pipe.modules.classification.Classification
 
NO_ACTION - Static variable in class pipe.modules.comparison.Comparison
 
NO_ACTION - Static variable in class pipe.modules.matrixes.Matrixes
 
NO_ACTION - Static variable in class pipe.modules.simulation.Simulation
 
NO_ACTION - Static variable in class pipe.modules.stateSpace.StateSpace
 
no_Enabled_Transitions - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
no_of_cycles - Variable in class pipe.modules.simulation.Simulation
 
no_of_firings - Variable in class pipe.modules.simulation.Simulation
 
nodeCount - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
nodes - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
nonZeroIndices() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Form a matrix with columns the row indices of non-zero elements.
noOfCycles - Variable in class pipe.modules.simulation.Simulation
 
noOfCyclesText - Variable in class pipe.modules.simulation.Simulation
 
noOfFirings - Variable in class pipe.modules.simulation.Simulation
 
noOfFiringsText - Variable in class pipe.modules.simulation.Simulation
 
nullModel(int) - Method in class pipe.gui.CreateGui
 
nullView(int) - Method in class pipe.gui.CreateGui
 
number_places - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
number_transitions - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
numberSequences - Variable in class pipe.gui.Animator.RandomFiringThread
 
numberstepsBack() - Method in class pipe.gui.AnimateAction
 
NW - Static variable in class pipe.dataLayer.Arc
 

O

openAction - Variable in class pipe.gui.GuiFrame
 
openFile(File, String, JTextField) - Method in class pipe.modules.classification.Classification.HandleControl
 
openFile(File, String, JTextField) - Method in class pipe.modules.matrixes.Matrixes.HandleControl
 
openFile(File, String, JTextField) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl
 
openFile(File, String, JTextField, boolean) - Method in class pipe.modules.comparison.Comparison.HandleControl
 
openFile(File, String, JTextField, boolean) - Method in class pipe.modules.simulation.Simulation.HandleControl
 
openNet(File) - Method in class pipe.gui.GuiFrame
 
OUT_OF_BOUNDS_ERROR - Static variable in class pipe.dataLayer.DataLayer.Matrix
Return value for function when specified index is out of bounds this should be an exception
OUT_OF_BOUNDS_ERROR - Static variable in class pipe.modules.matrixes.Matrixes.Matrix
 
output - Variable in class pipe.modules.invariantAnalysis.IAResult
 
outputFrame - Variable in class pipe.modules.comparison.Comparison
 
outputFrame - Variable in class pipe.modules.simulation.Simulation
 
outputHTML - Variable in class pipe.modules.classification.Classification
 
outputHTML - Variable in class pipe.modules.comparison.Comparison
 
outputHTML - Variable in class pipe.modules.matrixes.Matrixes
 
outputHTML - Variable in class pipe.modules.simulation.Simulation
 
outputHTML - Variable in class pipe.modules.stateSpace.StateSpace
 
outputWriter - Variable in class pipe.modules.classification.Classification
 
outputWriter - Variable in class pipe.modules.comparison.Comparison
 
outputWriter - Variable in class pipe.modules.matrixes.Matrixes
 
outputWriter - Variable in class pipe.modules.simulation.Simulation
 
outputWriter - Variable in class pipe.modules.stateSpace.StateSpace
 
overallAverages - Variable in class pipe.modules.simulation.Simulation.Evaluate
 

P

paintComponent(Graphics) - Method in class pipe.dataLayer.PetriNetObject
 
paintComponent(Graphics) - Method in class pipe.dataLayer.PlaceTransitionObject
 
paintComponent(Graphics) - Method in class pipe.dataLayer.Transition
 
paintComponent(Graphics) - Method in class pipe.dataLayer.NameLabel
 
paintComponent(Graphics) - Method in class pipe.dataLayer.ArrowLabel
 
paintComponent(Graphics) - Method in class pipe.dataLayer.Place
Paints the Place component taking into account the number of tokens from the currentMarking
paintComponent(Graphics) - Method in class pipe.dataLayer.Arc
 
paintComponent(Graphics) - Method in class pipe.gui.GuiView
This method is called whenever the frame is moved, resized etc.
paneFont - Variable in class pipe.gui.StatusBar
 
parent - Variable in class pipe.dataLayer.ArrowLabel
we maintain a reference to the parent in order that we use the arrow to talk to the arc
parent - Variable in class pipe.gui.ModuleManager
 
parent - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
passTransition(Transition) - Method in class pipe.gui.Animator
 
pathToDeadlock - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
PetriNetObject - class pipe.dataLayer.PetriNetObject.
PetriNetObject - Petri-Net Object Class - Abstract
PetriNetObject() - Constructor for class pipe.dataLayer.PetriNetObject
Create PetriNetObject
PetriNetObject(Color) - Constructor for class pipe.dataLayer.PetriNetObject
Create PetriNetObject
PetriNetObject(String) - Constructor for class pipe.dataLayer.PetriNetObject
 
PetriNetObject(String, Color) - Constructor for class pipe.dataLayer.PetriNetObject
Create PetriNetObject
PetriNetObjectHandler - class pipe.gui.PetriNetObjectHandler.
Class used to implement methods corresponding to mouse events on all PetriNetObjects.
PetriNetObjectHandler(CreateGui, Container) - Constructor for class pipe.gui.PetriNetObjectHandler
 
PInvariants - Variable in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
pipe.dataLayer - package pipe.dataLayer
 
pipe.gui - package pipe.gui
 
pipe.modules - package pipe.modules
 
pipe.modules.classification - package pipe.modules.classification
 
pipe.modules.comparison - package pipe.modules.comparison
 
pipe.modules.invariantAnalysis - package pipe.modules.invariantAnalysis
 
pipe.modules.matrixes - package pipe.modules.matrixes
 
pipe.modules.simulation - package pipe.modules.simulation
 
pipe.modules.stateSpace - package pipe.modules.stateSpace
 
place - Variable in class pipe.dataLayer.Place
Ellipse2D.Double place
Place - class pipe.dataLayer.Place.
Place - Petri-Net Place Class
PLACE - Static variable in interface pipe.gui.Constants
 
Place() - Constructor for class pipe.dataLayer.Place
Create empty Petri-Net Place object
Place(double, double, Color) - Constructor for class pipe.dataLayer.Place
Create Petri-Net Place object
Place(double, double, String, Color) - Constructor for class pipe.dataLayer.Place
Create Petri-Net Place object
Place(double, double, String, String, double, double, int, double, double, Color) - Constructor for class pipe.dataLayer.Place
Create Petri-Net Place object
placeAction - Variable in class pipe.gui.GuiFrame
 
placeCheckBox - Variable in class pipe.modules.classification.Classification
 
placeCheckBox - Variable in class pipe.modules.comparison.Comparison
 
PLACECHECKBOX - Static variable in class pipe.modules.comparison.Comparison
 
PlaceHandler - class pipe.gui.PlaceHandler.
Class used to implement methods corresponding to mouse events on places.
PlaceHandler(CreateGui, Container) - Constructor for class pipe.gui.PlaceHandler
 
placeIdCheckBox - Variable in class pipe.modules.classification.Classification
 
placeIdCheckBox - Variable in class pipe.modules.comparison.Comparison
 
placeMarkupCheckBox - Variable in class pipe.modules.classification.Classification
 
placeMarkupCheckBox - Variable in class pipe.modules.comparison.Comparison
 
placeNameCheckBox - Variable in class pipe.modules.classification.Classification
 
placeNameCheckBox - Variable in class pipe.modules.comparison.Comparison
 
placePositionCheckBox - Variable in class pipe.modules.classification.Classification
 
placePositionCheckBox - Variable in class pipe.modules.comparison.Comparison
 
placesArray - Variable in class pipe.dataLayer.DataLayer
List containing all the Place objects in the Petri-Net
placeSettingsOuterPanel - Variable in class pipe.modules.comparison.Comparison
 
placeSettingsPanel - Variable in class pipe.modules.comparison.Comparison
 
PlaceTransitionObject - class pipe.dataLayer.PlaceTransitionObject.
PlaceTransitionObject - Petri-Net PLace or Transition SuperClass - Abstract
PlaceTransitionObject() - Constructor for class pipe.dataLayer.PlaceTransitionObject
Create empty Petri-Net Object
PlaceTransitionObject(double, double, Color) - Constructor for class pipe.dataLayer.PlaceTransitionObject
Create Petri-Net Object This constructor does all the work, the others just call it.
PlaceTransitionObject(double, double, String, Color) - Constructor for class pipe.dataLayer.PlaceTransitionObject
Create Petri-Net Object
PlaceTransitionObject(double, double, String, String, double, double, Color) - Constructor for class pipe.dataLayer.PlaceTransitionObject
Create Petri-Net Object
PlaceTransitionObjectHandler - class pipe.gui.PlaceTransitionObjectHandler.
Class used to implement methods corresponding to mouse events on places.
PlaceTransitionObjectHandler(CreateGui, Container) - Constructor for class pipe.gui.PlaceTransitionObjectHandler
 
plus(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
C = A + B
plusEquals(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
A = A + B
pnmlCopy - Variable in class pipe.gui.Animator
 
pnmlName - Variable in class pipe.dataLayer.DataLayer
PNML File Name
pnmlOriginal - Variable in class pipe.gui.Animator
 
pnname - Variable in class pipe.dataLayer.PetriNetObject
Name Label for displaying name
pnobjectColor - Variable in class pipe.gui.GuiFrame
 
pnobjectType - Variable in class pipe.gui.GuiFrame
 
position - Variable in class pipe.dataLayer.DataLayer
Markup Matrix Storage Position
positionX - Variable in class pipe.dataLayer.PlaceTransitionObject
X-axis Position
positionY - Variable in class pipe.dataLayer.PlaceTransitionObject
Y-axis Position
previousInstance - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
print - Variable in class pipe.modules.comparison.Comparison
 
print - Variable in class pipe.modules.simulation.Simulation
 
print() - Method in class pipe.dataLayer.DataLayer
prints out a brief representation of the dataLayer object
print(Graphics, PageFormat, int) - Method in class pipe.gui.GuiView
 
print(Graphics, PageFormat, int) - Method in class pipe.modules.comparison.Comparison.PrintableHTMLEditor
 
print(Graphics, PageFormat, int) - Method in class pipe.modules.invariantAnalysis.IAResult
 
print(Graphics, PageFormat, int) - Method in class pipe.modules.matrixes.Matrixes.PrintableHTMLEditor
 
print(Graphics, PageFormat, int) - Method in class pipe.modules.simulation.Simulation.PrintableHTMLEditor
 
print(int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Print the matrix to stdout.
print(NumberFormat, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Print the matrix to stdout.
print(PrintWriter, int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Print the matrix to the output stream.
print(PrintWriter, NumberFormat, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Print the matrix to the output stream.
print(String) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Shorten spelling of print.
printAction - Variable in class pipe.gui.GuiFrame
 
printArray(int[]) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Used to display intermiadiate results for checking
printArray(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
used to display intermiadiate results for checking
printString(int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Print the matrix to a string.
projectScrollPane - Variable in class pipe.modules.classification.Classification
 
projectScrollPane - Variable in class pipe.modules.stateSpace.StateSpace
 

Q

quad - Variable in class pipe.dataLayer.Arc
Member to indicate which direction this arc was drawn in
quickSort(int[], int, int) - Method in class pipe.modules.classification.Classification
 

R

RANDOM - Static variable in interface pipe.gui.Constants
 
randomAction - Variable in class pipe.gui.GuiFrame
 
randomNumber - Static variable in class pipe.dataLayer.DataLayer
 
rate - Variable in class pipe.dataLayer.Transition
The transition rate
realarc - Variable in class pipe.dataLayer.Arc
 
RecordDeadlockPath() - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
RecursiveExpansion() - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
reduce(int[]) - Static method in class pipe.modules.classification.Classification
 
refdataLayer - Variable in class pipe.modules.classification.Classification
 
refdataLayer - Variable in class pipe.modules.comparison.Comparison
 
refdataLayer - Variable in class pipe.modules.matrixes.Matrixes
 
refdataLayer - Variable in class pipe.modules.simulation.Simulation
 
refdataLayer - Variable in class pipe.modules.stateSpace.StateSpace
 
refreshResultsPanel(String) - Method in class pipe.modules.matrixes.Matrixes
 
regular - Variable in class pipe.gui.AnimationHistory
 
removeAnimationHistory() - Method in class pipe.gui.CreateGui
 
removeArc(String) - Method in class pipe.dataLayer.DataLayer
Remove first Arc that has an id equal to idInput
removeModuleFromTree(DefaultMutableTreeNode) - Method in class pipe.gui.ModuleManager
Removes a node from the Module subtree
removeNode - Variable in class pipe.gui.ModuleManager.RemoveModuleAction
 
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
removeTransition(String) - Method in class pipe.dataLayer.DataLayer
Remove first Transition that has an id equal to idInput
Repeated_Node - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
resetArray(int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
resetEnabledTransitions() - Method in class pipe.dataLayer.DataLayer
 
resetSaveActions(boolean) - Method in class pipe.gui.GuiFrame
 
restoreInitialMarking() - Method in class pipe.dataLayer.DataLayer
Restores Initial Markup Matrix to current Petri-Net Markup
restoreModel() - Method in class pipe.gui.Animator
 
restoreState() - Method in class pipe.dataLayer.DataLayer
Restores To previous Stored Markup
returnClass() - Method in class pipe.gui.ModuleClass
Returns the class object that the ModuleClass encapsulates
returnTransitions() - Method in class pipe.dataLayer.DataLayer
 
root - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
rotate - Variable in class pipe.dataLayer.ArrowLabel
 
rotate(double) - Method in class pipe.dataLayer.Transition
Rotates the Transition through the specified angle around the midpoint
rowWithNegativeElement() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Find the first row with a negative element in a matrix.
run() - Method in class pipe.gui.Animator.RandomFiringThread
 
run(DataLayer) - Method in interface pipe.modules.Module
 
run(DataLayer) - Method in class pipe.modules.classification.Classification
 
run(DataLayer) - Method in class pipe.modules.comparison.Comparison
 
run(DataLayer) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Call the methods that find the net invariants.
run(DataLayer) - Method in class pipe.modules.matrixes.Matrixes
 
run(DataLayer) - Method in class pipe.modules.simulation.Simulation
 
run(DataLayer) - Method in class pipe.modules.stateSpace.StateSpace
 
RunGui - class RunGui.
RunGui - Start-up class with main function
RunGui() - Constructor for class RunGui
 
runSimulation() - Method in class pipe.modules.simulation.Simulation
 

S

safe - Variable in class pipe.modules.stateSpace.StateSpace
 
save - Variable in class pipe.modules.comparison.Comparison
 
save - Variable in class pipe.modules.simulation.Simulation
 
saveAction - Variable in class pipe.gui.GuiFrame
 
saveas(String) - Method in class pipe.modules.comparison.Comparison
 
saveas(String) - Method in class pipe.modules.invariantAnalysis.IAResult
 
saveas(String) - Method in class pipe.modules.matrixes.Matrixes
 
saveas(String) - Method in class pipe.modules.simulation.Simulation
 
saveAsAction - Variable in class pipe.gui.GuiFrame
 
saveNet(File) - Method in class pipe.gui.GuiFrame
 
saveOperation() - Method in class pipe.gui.GuiFrame
 
savePNML(String) - Method in class pipe.dataLayer.DataLayer
Save the Petri-Net
scroller - Variable in class pipe.gui.CreateGui
 
scrollPane - Variable in class pipe.modules.comparison.Comparison
 
scrollPane - Variable in class pipe.modules.matrixes.Matrixes
 
scrollPane - Variable in class pipe.modules.simulation.Simulation
 
SE - Static variable in class pipe.dataLayer.Arc
 
search(int, int[]) - Method in class pipe.modules.classification.Classification
 
selected - Variable in class pipe.gui.LabelAction
 
selected - Variable in class pipe.gui.EditWeightingAction
 
selected - Variable in class pipe.gui.EditTokenAction
 
selected - Variable in class pipe.gui.DeleteAction
 
selected - Variable in class pipe.gui.EditRateAction
 
selectedArc - Variable in class pipe.gui.DeleteAction
 
selectedFileName - Variable in class pipe.gui.AnimateAction
 
selectedFileName - Variable in class pipe.gui.GuiFrame.TypeAction
 
set(int, int, int) - Method in class pipe.dataLayer.DataLayer.Matrix
Set specific value in matrix
set(int, int, int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Set a single element.
set(int, int, int) - Method in class pipe.modules.matrixes.Matrixes.Matrix
 
setallDefault() - Method in class pipe.gui.GuiFrame
 
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.
setArrow(ArrowLabel) - Method in class pipe.dataLayer.Arc
 
setBackwardsIncidenceMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Backward Incidence Matrix
setColor(Color) - Method in class pipe.dataLayer.PetriNetObject
Set color
setCurrentMarking(int) - Method in class pipe.dataLayer.Place
Set current marking
setDefault() - Method in class pipe.gui.GuiFrame.TypeAction
 
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
setEndPositionX(double) - Method in class pipe.dataLayer.Arc
Set X-axis value of end position
setEndPositionY(double) - Method in class pipe.dataLayer.Arc
Set Y-axis value of end position
setFile(File, int) - Method in class pipe.gui.CreateGui
 
setFowardIncidenceMatrix(int[][]) - Method in class pipe.dataLayer.DataLayer
Set the Foward Incidence Matrix
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.Arc
Set id
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
setInscription(String) - Method in class pipe.dataLayer.Arc
Set inscription
setInscriptionOffsetX(double) - Method in class pipe.dataLayer.Arc
Set X-axis offset for inscription position
setInscriptionOffsetY(double) - Method in class pipe.dataLayer.Arc
Set Y-axis offset for inscription position
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[], IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Set a submatrix.
setMatrix(int[], int, int, IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Set a submatrix.
setMatrix(int, int, int[], IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Set a submatrix.
setMatrix(int, int, int, int, IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Set a submatrix.
setMode(int) - Static method in class pipe.gui.ModeAdaptor
 
setModelfile() - Method in class pipe.gui.GuiFrame
 
setMovable(boolean) - Method in class pipe.dataLayer.PetriNetObject
Set PetriNetObject's is movable status
setName(String) - Method in class pipe.dataLayer.PlaceTransitionObject
Set name
setNameOffsetX(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set X-axis offset for name position
setNameOffsetY(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set Y-axis offset for name position
setObjects() - Method in class pipe.gui.GuiFrame
 
setObjects(int) - Method in class pipe.gui.GuiFrame
 
setObjectsNull(int) - Method in class pipe.gui.GuiFrame
 
setPetriNetObjectArrayList(PetriNetObject) - Method in class pipe.dataLayer.DataLayer
Sets an internal ArrayList according to the class of the object passed in.
setpnobjectType(int) - Method in class pipe.gui.GuiFrame
 
setPositionX(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set X-axis position
setPositionY(double) - Method in class pipe.dataLayer.PlaceTransitionObject
Set Y-axis position
setRate(int) - Method in class pipe.dataLayer.Transition
 
setSource(PlaceTransitionObject) - Method in class pipe.dataLayer.Arc
Set source
setStartPositionX(double) - Method in class pipe.dataLayer.Arc
Set X-axis value of start position
setStartPositionY(double) - Method in class pipe.dataLayer.Arc
Set Y-axis value of start position
setTab() - Method in class pipe.gui.GuiFrame
 
setTabTitles(int) - Method in class pipe.gui.CreateGui
 
setTarget(PlaceTransitionObject) - Method in class pipe.dataLayer.Arc
Set target
setTokenDefault() - Method in class pipe.gui.GuiFrame.TypeAction
 
setToZero() - Method in class pipe.dataLayer.DataLayer.Matrix
Set all values to zero
setToZero() - Method in class pipe.modules.matrixes.Matrixes.Matrix
 
setUpButtonBar() - Method in class pipe.modules.comparison.Comparison
 
setUpButtonBar() - Method in class pipe.modules.matrixes.Matrixes
 
setUpButtonBar() - Method in class pipe.modules.simulation.Simulation
 
setUpDeadlockPanel(JPanel) - Method in class pipe.modules.stateSpace.StateSpace
 
setUpPetriNetPanel(JPanel) - Method in class pipe.modules.classification.Classification
 
setUpPetriNetPanel(JPanel) - Method in class pipe.modules.comparison.Comparison
 
setUpPetriNetPanel(JPanel) - Method in class pipe.modules.matrixes.Matrixes
 
setUpPetriNetPanel(JPanel) - Method in class pipe.modules.simulation.Simulation
 
setUpPetriNetPanel(JPanel) - Method in class pipe.modules.stateSpace.StateSpace
 
setupResults() - Method in class pipe.modules.comparison.Comparison
 
setupResults() - Method in class pipe.modules.simulation.Simulation
 
setUpResultsPanel() - Method in class pipe.modules.classification.Classification
 
setUpResultsPanel() - Method in class pipe.modules.matrixes.Matrixes
 
setUpResultsPanel() - Method in class pipe.modules.stateSpace.StateSpace
 
setUpSettingsPanel(JPanel) - Method in class pipe.modules.comparison.Comparison
 
setUpSettingsPanel(JPanel) - Method in class pipe.modules.simulation.Simulation
 
setWeighting(int) - Method in class pipe.dataLayer.Arc
Set Weighting
setWeightingOffsetX(double) - Method in class pipe.dataLayer.Arc
Set X-axis offset for weighting position
setWeightingOffsetY(double) - Method in class pipe.dataLayer.Arc
Set Y-axis offset for weighting position
showDialog(String, String, String, char, File) - Method in class pipe.gui.GuiFrame
 
simpleNet(DataLayer) - Method in class pipe.modules.classification.Classification
 
Simulation - class pipe.modules.simulation.Simulation.
Title:
Simulation.Evaluate - class pipe.modules.simulation.Simulation.Evaluate.
 
Simulation.Evaluate(Simulation, DataLayer, int, int) - Constructor for class pipe.modules.simulation.Simulation.Evaluate
 
Simulation.HandleControl - class pipe.modules.simulation.Simulation.HandleControl.
 
Simulation.HandleControl(Simulation, int) - Constructor for class pipe.modules.simulation.Simulation.HandleControl
 
Simulation.PrintableHTMLEditor - class pipe.modules.simulation.Simulation.PrintableHTMLEditor.
 
Simulation.PrintableHTMLEditor(Simulation) - Constructor for class pipe.modules.simulation.Simulation.PrintableHTMLEditor
 
Simulation() - Constructor for class pipe.modules.simulation.Simulation
 
Simulation(DataLayer) - Constructor for class pipe.modules.simulation.Simulation
 
smallDefaultLabel - Variable in class pipe.modules.classification.Classification
 
smallDefaultLabel - Variable in class pipe.modules.comparison.Comparison
 
smallDefaultLabel - Variable in class pipe.modules.simulation.Simulation
 
smallDefaultLabel - Variable in class pipe.modules.stateSpace.StateSpace
 
source - Variable in class pipe.dataLayer.Arc
references to the objects this arc connects
source - Variable in class pipe.gui.CreateArcHandler
 
SOURCE_BROWSE - Static variable in class pipe.modules.classification.Classification
 
SOURCE_BROWSE - Static variable in class pipe.modules.comparison.Comparison
 
SOURCE_BROWSE - Static variable in class pipe.modules.matrixes.Matrixes
 
SOURCE_BROWSE - Static variable in class pipe.modules.simulation.Simulation
 
SOURCE_BROWSE - Static variable in class pipe.modules.stateSpace.StateSpace
 
sourceButton - Variable in class pipe.modules.classification.Classification
 
sourceButton - Variable in class pipe.modules.comparison.Comparison
 
sourceButton - Variable in class pipe.modules.matrixes.Matrixes
 
sourceButton - Variable in class pipe.modules.simulation.Simulation
 
sourceButton - Variable in class pipe.modules.stateSpace.StateSpace
 
sourceCheckBox - Variable in class pipe.modules.classification.Classification
 
sourceCheckBox - Variable in class pipe.modules.comparison.Comparison
 
sourceCheckBox - Variable in class pipe.modules.matrixes.Matrixes
 
sourceCheckBox - Variable in class pipe.modules.simulation.Simulation
 
sourceCheckBox - Variable in class pipe.modules.stateSpace.StateSpace
 
sourcedataLayer - Variable in class pipe.modules.classification.Classification
 
sourcedataLayer - Variable in class pipe.modules.comparison.Comparison
 
sourcedataLayer - Variable in class pipe.modules.matrixes.Matrixes
 
sourcedataLayer - Variable in class pipe.modules.simulation.Simulation
 
sourcedataLayer - Variable in class pipe.modules.stateSpace.StateSpace
 
sourceLabel - Variable in class pipe.modules.classification.Classification
 
sourceLabel - Variable in class pipe.modules.comparison.Comparison
 
sourceLabel - Variable in class pipe.modules.matrixes.Matrixes
 
sourceLabel - Variable in class pipe.modules.simulation.Simulation
 
sourceLabel - Variable in class pipe.modules.stateSpace.StateSpace
 
sourcePanel - Variable in class pipe.modules.matrixes.Matrixes
 
sourceTextField - Variable in class pipe.modules.classification.Classification
 
sourceTextField - Variable in class pipe.modules.comparison.Comparison
 
sourceTextField - Variable in class pipe.modules.matrixes.Matrixes
 
sourceTextField - Variable in class pipe.modules.simulation.Simulation
 
sourceTextField - Variable in class pipe.modules.stateSpace.StateSpace
 
spacing - Variable in class pipe.modules.classification.Classification
 
spacing - Variable in class pipe.modules.comparison.Comparison
 
spacing - Variable in class pipe.modules.matrixes.Matrixes
 
spacing - Variable in class pipe.modules.simulation.Simulation
 
spacing - Variable in class pipe.modules.stateSpace.StateSpace
 
start - Variable in class pipe.gui.PlaceTransitionObjectHandler
 
start - Variable in class pipe.gui.GuiView
 
START - Static variable in interface pipe.gui.Constants
 
startAction - Variable in class pipe.gui.GuiFrame
 
startClass - Variable in class pipe.gui.CreateArcHandler
 
startPositionX - Variable in class pipe.dataLayer.Arc
Start X-axis Position
startPositionY - Variable in class pipe.dataLayer.Arc
Start Y-axis Position
startRandomFiring(int) - Method in class pipe.gui.Animator
 
startXOffset - Variable in class pipe.dataLayer.Arc
 
startYOffset - Variable in class pipe.dataLayer.Arc
 
stateMachine(DataLayer) - Method in class pipe.modules.classification.Classification
 
StateSpace - class pipe.modules.stateSpace.StateSpace.
 
StateSpace.HandleControl - class pipe.modules.stateSpace.StateSpace.HandleControl.
 
StateSpace.HandleControl.myNode - class pipe.modules.stateSpace.StateSpace.HandleControl.myNode.
 
StateSpace.HandleControl.myNode(StateSpace.HandleControl, int[], StateSpace.HandleControl.myNode, StateSpace.HandleControl.myTree, int) - Constructor for class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
StateSpace.HandleControl.myNode(StateSpace.HandleControl, int[], StateSpace.HandleControl.myTree, int) - Constructor for class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
StateSpace.HandleControl.myTree - class pipe.modules.stateSpace.StateSpace.HandleControl.myTree.
 
StateSpace.HandleControl.myTree(StateSpace.HandleControl, int[], IntMatrix, IntMatrix) - Constructor for class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
StateSpace.HandleControl(StateSpace, int) - Constructor for class pipe.modules.stateSpace.StateSpace.HandleControl
 
StateSpace.MouseHandler - class pipe.modules.stateSpace.StateSpace.MouseHandler.
 
StateSpace.MouseHandler(StateSpace) - Constructor for class pipe.modules.stateSpace.StateSpace.MouseHandler
 
StateSpace() - Constructor for class pipe.modules.stateSpace.StateSpace
 
StateSpace(DataLayer) - Constructor for class pipe.modules.stateSpace.StateSpace
 
statusBar - Variable in class pipe.gui.GuiFrame
 
StatusBar - class pipe.gui.StatusBar.
 
StatusBar(String) - Constructor for class pipe.gui.StatusBar
 
stepBack() - Method in class pipe.gui.Animator
 
STEPBACKWARD - Static variable in interface pipe.gui.Constants
 
stepbackwardAction - Variable in class pipe.gui.GuiFrame
 
stepBackwards() - Method in class pipe.gui.AnimationHistory
 
STEPFORWARD - Static variable in interface pipe.gui.Constants
 
stepForward() - Method in class pipe.gui.Animator
 
stepForward() - Method in class pipe.gui.AnimationHistory
 
stepforwardAction - Variable in class pipe.gui.GuiFrame
 
STOP - Static variable in interface pipe.gui.Constants
 
stopAction - Variable in class pipe.gui.GuiFrame
 
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
sumPlaceBackwards(int) - Method in class pipe.modules.classification.Classification
 
sumPlaceForwards(int) - Method in class pipe.modules.classification.Classification
 
sumTransitionBackwards(int) - Method in class pipe.modules.classification.Classification
 
sumTransitionForwards(int) - Method in class pipe.modules.classification.Classification
 
SW - Static variable in class pipe.dataLayer.Arc
 

T

t1 - Variable in class pipe.modules.invariantAnalysis.IAResult
 
target - Variable in class pipe.dataLayer.Arc
 
target - Variable in class pipe.gui.CreateArcHandler
 
tempPnobject - Variable in class pipe.gui.PetriNetObjectHandler
 
tempPnobject - Variable in class pipe.gui.GuiView
 
tempTransition - Variable in class pipe.gui.AnimationHandler
 
text - Variable in class pipe.dataLayer.NameLabel
 
TEXT_FIELD_SIZE - Variable in class pipe.modules.classification.Classification
 
TEXT_FIELD_SIZE - Variable in class pipe.modules.comparison.Comparison
 
TEXT_FIELD_SIZE - Variable in class pipe.modules.matrixes.Matrixes
 
TEXT_FIELD_SIZE - Variable in class pipe.modules.simulation.Simulation
 
TEXT_FIELD_SIZE - Variable in class pipe.modules.stateSpace.StateSpace
 
textforAddtoken - Variable in class pipe.gui.StatusBar
 
textforAnimation - Variable in class pipe.gui.StatusBar
 
textforArc - Variable in class pipe.gui.StatusBar
 
textforDelete - Variable in class pipe.gui.StatusBar
 
textforDeltoken - Variable in class pipe.gui.StatusBar
 
textforDrawing - Variable in class pipe.gui.StatusBar
 
textforMove - Variable in class pipe.gui.StatusBar
 
textforPlace - Variable in class pipe.gui.StatusBar
 
textforTrans - Variable in class pipe.gui.StatusBar
 
theApp - Variable in class pipe.gui.PetriNetObjectHandler
 
theApp - Variable in class pipe.gui.CreateArcHandler
 
theApp - Variable in class pipe.gui.AnimateAction
 
theApp - Variable in class pipe.gui.AnimationHandler
 
theApp - Variable in class pipe.gui.GuiFrame
 
theApp - Variable in class pipe.gui.GuiView
 
theApp - Variable in class pipe.gui.DeleteAction
 
theApp - Variable in class pipe.gui.EditRateAction
 
theApp - Static variable in class pipe.gui.CreateGui
 
tHeight - Static variable in class pipe.dataLayer.Place
Token Height
thisClass - Variable in class pipe.gui.ModuleClass
 
thisfile - Variable in class pipe.modules.invariantAnalysis.IAResult
 
timesEquals(int) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Multiply a matrix by an int in place, A = s*A
TInvariants - Variable in class pipe.modules.invariantAnalysis.InvariantAnalysis
 
token - Variable in class pipe.dataLayer.Token
Ellipse2D.Double token
Token - class pipe.dataLayer.Token.
Token - Petri-Net Token Class
Token() - Constructor for class pipe.dataLayer.Token
Create empty Petri-Net Token object
Token(double, double, Color) - Constructor for class pipe.dataLayer.Token
Create Petri-Net Token object
tokenAction - Variable in class pipe.gui.GuiFrame
 
tokensArray - Variable in class pipe.dataLayer.DataLayer
ArrayList containing all the Token objects in the Petri-Net
tolerance - Variable in class pipe.modules.comparison.Comparison
 
tooBig - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
toolBar - Variable in class pipe.gui.GuiFrame
 
topOffset() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
topOffset() - Method in class pipe.dataLayer.Transition
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
topOffset() - Method in class pipe.dataLayer.Place
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
toString() - Method in class pipe.gui.ModuleMethod
Returns the name of the modMeth
toString() - Method in class pipe.gui.ModuleClass
Overides the object method in order to provide the correct display name
totalcount - Static variable in class pipe.gui.Animator
 
totalTokens - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
trans_array - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
transAction - Variable in class pipe.gui.GuiFrame
 
transCount - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
transform - Variable in class pipe.dataLayer.Transition
The transform
transition - Variable in class pipe.dataLayer.Transition
Transition is of Rectangle2D.Double
Transition - class pipe.dataLayer.Transition.
Transition - Petri-Net Transition Class
TRANSITION - Static variable in interface pipe.gui.Constants
 
Transition() - Constructor for class pipe.dataLayer.Transition
Create Petri-Net Transition object
Transition(double, double, Color) - Constructor for class pipe.dataLayer.Transition
Create Petri-Net Transition object
Transition(double, double, String, Color) - Constructor for class pipe.dataLayer.Transition
Create Petri-Net Transition object
Transition(double, double, String, String, double, double, Color) - Constructor for class pipe.dataLayer.Transition
Create Petri-Net Transition object
transitionCheckBox - Variable in class pipe.modules.classification.Classification
 
transitionCheckBox - Variable in class pipe.modules.comparison.Comparison
 
TRANSITIONCHECKBOX - Static variable in class pipe.modules.comparison.Comparison
 
TransitionEnabled(int) - Method in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
TransitionHandler - class pipe.gui.TransitionHandler.
Class used to implement methods corresponding to mouse events on transitions.
TransitionHandler(CreateGui, Container) - Constructor for class pipe.gui.TransitionHandler
 
transitionIdCheckBox - Variable in class pipe.modules.classification.Classification
 
transitionIdCheckBox - Variable in class pipe.modules.comparison.Comparison
 
transitionNameCheckBox - Variable in class pipe.modules.classification.Classification
 
transitionNameCheckBox - Variable in class pipe.modules.comparison.Comparison
 
transitionPositionCheckBox - Variable in class pipe.modules.classification.Classification
 
transitionPositionCheckBox - Variable in class pipe.modules.comparison.Comparison
 
transitions - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myTree
 
transitionsArray - Variable in class pipe.dataLayer.DataLayer
ArrayList containing all the Transition objects ing2D.setStroke(new BasicStroke(1.5f)); the Petri-Net
transitionSettingsOuterPanel - Variable in class pipe.modules.comparison.Comparison
 
transitionSettingsPanel - Variable in class pipe.modules.comparison.Comparison
 
transpose() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Matrix transpose.
transToFire - Variable in class pipe.modules.simulation.Simulation.Evaluate
 
tree - Variable in class pipe.modules.stateSpace.StateSpace.HandleControl.myNode
 
treeModel - Variable in class pipe.gui.ModuleManager
 
tWidth - Static variable in class pipe.dataLayer.Place
Token Width
typeID - Variable in class pipe.gui.StatusBar
 
typeID - Variable in class pipe.gui.AnimateAction
 
typeID - Variable in class pipe.gui.GuiFrame.TypeAction
 

U

uminus() - Method in class pipe.modules.invariantAnalysis.IntMatrix
Unary minus
unhighlightDisabledTransitions() - Method in class pipe.gui.Animator
 
unionBetweenSets(int[], int[]) - Method in class pipe.modules.classification.Classification
 
uniteSets(int[], int[]) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
Unite two sets (arrays of integers) so that if there is a common entry in the arrays it appears only once, and all the entries of each array appear in the union.
update(Observable, Object) - Method in class pipe.gui.GuiFrame
 
update(Observable, Object) - Method in class pipe.gui.GuiView
 
updateSize(MouseEvent) - Method in class pipe.dataLayer.PetriNetObject
 
updateSize(MouseEvent) - Method in class pipe.dataLayer.PlaceTransitionObject
Implemented in subclasses as involves some tailoring according to the shape
updateSize(MouseEvent) - Method in class pipe.dataLayer.Token
 
updateSize(MouseEvent) - Method in class pipe.dataLayer.Transition
Called when the object is moved around from the MouseDragged and MouseReleased events
updateSize(MouseEvent) - Method in class pipe.dataLayer.ArrowLabel
required by PetrinetObject, does nothing for now
updateSize(MouseEvent) - Method in class pipe.dataLayer.Place
 
updateSize(MouseEvent) - Method in class pipe.dataLayer.Arc
 
updateText() - Method in class pipe.gui.AnimationHistory
Method reinserts the text highlighting the currentItem

V

vectorTimes(IntMatrix) - Method in class pipe.modules.invariantAnalysis.IntMatrix
Multiply a row matrix by a column matrix, A = s*A

W

warnUser(String, JFrame) - Method in class pipe.modules.classification.Classification
 
warnUser(String, JFrame) - Method in class pipe.modules.comparison.Comparison
 
warnUser(String, JFrame) - Method in class pipe.modules.matrixes.Matrixes
 
warnUser(String, JFrame) - Method in class pipe.modules.simulation.Simulation
 
warnUser(String, JFrame) - Method in class pipe.modules.stateSpace.StateSpace
 
weighting - Variable in class pipe.dataLayer.Arc
Current Marking
weightingOffsetX - Variable in class pipe.dataLayer.Arc
Initial Marking X-axis Offset
weightingOffsetY - Variable in class pipe.dataLayer.Arc
Initial Marking Y-axis Offset
weightLabel - Variable in class pipe.dataLayer.ArrowLabel
Label which displays the weighting of the arc it's attached to.
width - Variable in class pipe.dataLayer.PlaceTransitionObject
Width of object
width - Variable in class pipe.dataLayer.NameLabel
 
width - Variable in class pipe.dataLayer.ArrowLabel
 
WIDTH - Static variable in class pipe.dataLayer.Token
 
WIDTH - Static variable in class pipe.dataLayer.Transition
Place Width
WIDTH - Static variable in class pipe.dataLayer.Place
Place Width
width() - Method in class pipe.dataLayer.ArrowLabel
Returns width without overriding the superclass methods
windowClosing(WindowEvent) - Method in class pipe.gui.CreateGui.WindowHandler
 
windowHeight - Variable in class pipe.modules.classification.Classification
 
windowHeight - Variable in class pipe.modules.comparison.Comparison
 
windowHeight - Variable in class pipe.modules.matrixes.Matrixes
 
windowHeight - Variable in class pipe.modules.simulation.Simulation
 
windowHeight - Variable in class pipe.modules.stateSpace.StateSpace
 
windowSize - Variable in class pipe.modules.classification.Classification
 
windowSize - Variable in class pipe.modules.comparison.Comparison
 
windowSize - Variable in class pipe.modules.matrixes.Matrixes
 
windowSize - Variable in class pipe.modules.simulation.Simulation
 
windowSize - Variable in class pipe.modules.stateSpace.StateSpace
 
windowTopLeftCornerX - Variable in class pipe.modules.classification.Classification
 
windowTopLeftCornerX - Variable in class pipe.modules.comparison.Comparison
 
windowTopLeftCornerX - Variable in class pipe.modules.matrixes.Matrixes
 
windowTopLeftCornerX - Variable in class pipe.modules.simulation.Simulation
 
windowTopLeftCornerX - Variable in class pipe.modules.stateSpace.StateSpace
 
windowTopLeftCornerY - Variable in class pipe.modules.classification.Classification
 
windowTopLeftCornerY - Variable in class pipe.modules.comparison.Comparison
 
windowTopLeftCornerY - Variable in class pipe.modules.matrixes.Matrixes
 
windowTopLeftCornerY - Variable in class pipe.modules.simulation.Simulation
 
windowTopLeftCornerY - Variable in class pipe.modules.stateSpace.StateSpace
 
windowWidth - Variable in class pipe.modules.classification.Classification
 
windowWidth - Variable in class pipe.modules.comparison.Comparison
 
windowWidth - Variable in class pipe.modules.matrixes.Matrixes
 
windowWidth - Variable in class pipe.modules.simulation.Simulation
 
windowWidth - Variable in class pipe.modules.stateSpace.StateSpace
 
writeHTML(String) - Method in class pipe.modules.matrixes.Matrixes
 
writeHTML(String) - Method in class pipe.modules.simulation.Simulation
 

X

x - Variable in class pipe.dataLayer.ArrowLabel
 

Y

y - Variable in class pipe.dataLayer.ArrowLabel
 

_

_height - Variable in class pipe.dataLayer.Arc
 
_width - Variable in class pipe.dataLayer.Arc
for the bounds of the component

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