Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
P
paintComponent(Graphics)
- Method in class pipe.gui.
GuiView
This method is called whenever the frame is moved, resized etc.
paintComponent(Graphics)
- Method in class pipe.gui.
SelectionObject
paintComponent(Graphics)
- Method in class pipe.dataLayer.
AnnotationNote.ResizePoint
paintComponent(Graphics)
- Method in class pipe.dataLayer.
AnnotationNote
paintComponent(Graphics)
- Method in class pipe.dataLayer.
Arc
Get Y-axis offset for inscription position returns null if value not yet entered
paintComponent(Graphics)
- Method in class pipe.dataLayer.
ArcPathPoint
paintComponent(Graphics)
- Method in class pipe.dataLayer.
PetriNetObject
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.
PlaceTransitionObject
Implemented in subclasses as involves some tailoring according to the shape
paintComponent(Graphics)
- Method in class pipe.dataLayer.
Transition
paintComponent(Graphics)
- Method in class pipe.gui.widgets.
GraphPanel
pathToDeadlock
- Variable in class pipe.dataLayer.calculations.
myTree
PetriNetChooserPanel
- class pipe.gui.widgets.
PetriNetChooserPanel
.
Makes a filebrowser panel
PetriNetChooserPanel(String, DataLayer)
- Constructor for class pipe.gui.widgets.
PetriNetChooserPanel
PetriNetObject
- class pipe.dataLayer.
PetriNetObject
.
PetriNetObject
- Petri-Net Object Class
-
Abstract
PetriNetObject()
- Constructor for class pipe.dataLayer.
PetriNetObject
Create PetriNetObject
PetriNetObject(String)
- 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(Container, PetriNetObject)
- Constructor for class pipe.gui.
PetriNetObjectHandler
pipe.dataLayer
- package pipe.dataLayer
pipe.dataLayer.calculations
- package pipe.dataLayer.calculations
pipe.gui
- package pipe.gui
pipe.gui.widgets
- package pipe.gui.widgets
pipe.modules
- package pipe.modules
pipe.modules.classification
- package pipe.modules.classification
pipe.modules.comparison
- package pipe.modules.comparison
pipe.modules.dnamaca
- package pipe.modules.dnamaca
pipe.modules.gspn
- package pipe.modules.gspn
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
- class pipe.dataLayer.
Place
.
Place
- Petri-Net Place Class
PLACE
- Static variable in interface pipe.gui.
Constants
PLACE_TRANSITION_HEIGHT
- Static variable in interface pipe.gui.
Constants
PLACE_TRANSITION_LAYER_OFFSET
- Static variable in interface pipe.gui.
Constants
PLACE_TRANSITION_PROXIMITY_RADIUS
- Static variable in interface pipe.gui.
Constants
Place()
- Constructor for class pipe.dataLayer.
Place
Create empty Petri-Net Place object
Place(double, double)
- Constructor for class pipe.dataLayer.
Place
Create Petri-Net Place object
Place(double, double, String)
- Constructor for class pipe.dataLayer.
Place
Create Petri-Net Place object
Place(double, double, String, String, double, double, int, double, double)
- Constructor for class pipe.dataLayer.
Place
Create Petri-Net Place object
PlaceHandler
- class pipe.gui.
PlaceHandler
.
Class used to implement methods corresponding to mouse events on places.
PlaceHandler(Container, Place)
- Constructor for class pipe.gui.
PlaceHandler
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)
- 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)
- Constructor for class pipe.dataLayer.
PlaceTransitionObject
Create Petri-Net Object
PlaceTransitionObject(double, double, String, String, double, double)
- 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(Container, PlaceTransitionObject)
- Constructor for class pipe.gui.
PlaceTransitionObjectHandler
plus(Matrix)
- Method in class jama.
Matrix
C = A + B
plus(PNMatrix)
- Method in class pipe.dataLayer.
PNMatrix
C = A + B
plusEquals(Matrix)
- Method in class jama.
Matrix
A = A + B
plusEquals(PNMatrix)
- Method in class pipe.dataLayer.
PNMatrix
A = A + B
PNG
- Static variable in class pipe.gui.
Export
PNMatrix
- class pipe.dataLayer.
PNMatrix
.
PNMatrix(int[][])
- Constructor for class pipe.dataLayer.
PNMatrix
Construct a matrix from a 2-D array.
PNMatrix(int[][], int, int)
- Constructor for class pipe.dataLayer.
PNMatrix
Construct a matrix quickly without checking arguments.
PNMatrix(int[], int)
- Constructor for class pipe.dataLayer.
PNMatrix
Construct a matrix from a one-dimensional packed array
PNMatrix(int, int)
- Constructor for class pipe.dataLayer.
PNMatrix
Construct an m-by-n matrix of zeros.
PNMatrix(int, int, int)
- Constructor for class pipe.dataLayer.
PNMatrix
Construct an m-by-n constant matrix.
positionX
- Variable in class pipe.dataLayer.
NameLabel
positionY
- Variable in class pipe.dataLayer.
NameLabel
POSTSCRIPT
- Static variable in class pipe.gui.
Export
print()
- Method in class pipe.dataLayer.calculations.
StateList
print()
- Method in class pipe.dataLayer.
DataLayer
prints out a brief representation of the dataLayer object
print(boolean[])
- Method in class pipe.dataLayer.calculations.
myNode
print(Graphics, PageFormat, int)
- Method in class pipe.gui.
GuiView
print(int[])
- Method in class pipe.dataLayer.calculations.
StateList
print(int, int)
- Method in class pipe.dataLayer.
PNMatrix
Print the matrix to stdout.
print(int, int)
- Method in class jama.
Matrix
Print the matrix to stdout.
print(NumberFormat, int)
- Method in class pipe.dataLayer.
PNMatrix
Print the matrix to stdout.
print(NumberFormat, int)
- Method in class jama.
Matrix
Print the matrix to stdout.
print(PrintWriter, int, int)
- Method in class pipe.dataLayer.
PNMatrix
Print the matrix to the output stream.
print(PrintWriter, int, int)
- Method in class jama.
Matrix
Print the matrix to the output stream.
print(PrintWriter, NumberFormat, int)
- Method in class pipe.dataLayer.
PNMatrix
Print the matrix to the output stream.
print(PrintWriter, NumberFormat, int)
- Method in class jama.
Matrix
Print the matrix to the output stream.
printArray(int[])
- Method in class pipe.dataLayer.
PNMatrix
Used to display intermediate results for checking
PRINTER
- Static variable in class pipe.gui.
Export
printString(int, int)
- Method in class pipe.dataLayer.
PNMatrix
Print the matrix to a string.
processSelection(MouseEvent)
- Method in class pipe.gui.
SelectionObject
PROPERTY_FILE_DESC
- Static variable in interface pipe.gui.
Constants
PROPERTY_FILE_EXTENSION
- Static variable in interface pipe.gui.
Constants
proximityContains(Point2D)
- Method in class pipe.dataLayer.
ArcPath
proximityIntersects(Rectangle2D)
- Method in class pipe.dataLayer.
ArcPath
purgePathPoints()
- Method in class pipe.dataLayer.
ArcPath
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V