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
E
EditAnnotationAction
- class pipe.gui.
EditAnnotationAction
.
EditAnnotationAction(AnnotationNote)
- Constructor for class pipe.gui.
EditAnnotationAction
EditAnnotationBorderAction
- class pipe.gui.
EditAnnotationBorderAction
.
EditAnnotationBorderAction(AnnotationNote)
- Constructor for class pipe.gui.
EditAnnotationBorderAction
EditRateAction
- class pipe.gui.
EditRateAction
.
Action object that can be used to add a rate to a transition.
EditRateAction(Container, Component)
- Constructor for class pipe.gui.
EditRateAction
EditTimedAction
- class pipe.gui.
EditTimedAction
.
Action object that can be used to add a rate to a transition.
EditTimedAction(Transition)
- Constructor for class pipe.gui.
EditTimedAction
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
EditWeightAction
- class pipe.gui.
EditWeightAction
.
EditWeightAction(Container, Arc)
- Constructor for class pipe.gui.
EditWeightAction
effectiveSetLength(int[])
- Method in class pipe.modules.invariantAnalysis.
InvariantAnalysis
find the number of non-zero elements in a set
eig()
- Method in class jama.
Matrix
Eigenvalue Decomposition
EigenvalueDecomposition
- class jama.
EigenvalueDecomposition
.
Eigenvalues and eigenvectors of a real matrix.
EigenvalueDecomposition(Matrix)
- Constructor for class jama.
EigenvalueDecomposition
Check for symmetry, then construct the eigenvalue decomposition
ELEMENT_FILL_COLOUR
- Static variable in interface pipe.gui.
Constants
ELEMENT_LINE_COLOUR
- Static variable in interface pipe.gui.
Constants
eliminateCol(int)
- Method in class pipe.dataLayer.
PNMatrix
Eliminate a column from the matrix, column index is toDelete
emptyPNML()
- Method in class pipe.dataLayer.
DataLayer
Empty all attributes, turn into empty Petri-Net
enableActions(boolean)
- Method in class pipe.gui.
GuiFrame
ENABLED_TRANSITION_COLOUR
- Static variable in interface pipe.gui.
Constants
enabled()
- Static method in class pipe.gui.
Grid
enableEditMode()
- Method in class pipe.dataLayer.
AnnotationNote
enableGrid()
- Static method in class pipe.gui.
Grid
enableGuiMenu()
- Method in class pipe.gui.
GuiFrame
enablePopupMenu(boolean)
- Method in class pipe.gui.
PetriNetObjectHandler
enableSelection()
- Method in class pipe.gui.
SelectionObject
EndNodes
- Variable in class pipe.dataLayer.calculations.
myTree
Export
- class pipe.gui.
Export
.
Class for exporting things to other formats, as well as printing.
Export()
- Constructor for class pipe.gui.
Export
exportGuiView(GuiView, int)
- Static method in class pipe.gui.
Export
ExtensionFilter
- class pipe.gui.
ExtensionFilter
.
ExtensionFilter(String, String)
- Constructor for class pipe.gui.
ExtensionFilter
ExtFileManager
- class pipe.gui.
ExtFileManager
.
ExtFileManager()
- Constructor for class pipe.gui.
ExtFileManager
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