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
I
identity(int, int)
- Static method in class pipe.dataLayer.
PNMatrix
Generate identity matrix]
identity(int, int)
- Static method in class jama.
Matrix
Generate identity matrix
ignoreSelection(boolean)
- Static method in class pipe.dataLayer.
PetriNetObject
imgPath
- Static variable in class pipe.gui.
CreateGui
IMMTRANS
- Static variable in interface pipe.gui.
Constants
importModule(File)
- Static method in class pipe.gui.
ModuleLoader
increment()
- Static method in class pipe.gui.
Grid
init()
- Static method in class pipe.gui.
CreateGui
initExit()
- Method in class pipe.gui.
GuiFrame
InsertOmegas()
- Method in class pipe.dataLayer.calculations.
myNode
interrupt()
- Method in class pipe.modules.dnamaca.
SwingWorker
A new method that interrupts the worker thread.
intersects(double, double, double, double)
- Method in class pipe.gui.
ArrowHead
intersects(double, double, double, double)
- Method in class pipe.dataLayer.
ArcPath
intersects(Rectangle2D)
- Method in class pipe.gui.
ArrowHead
intersects(Rectangle2D)
- Method in class pipe.dataLayer.
ArcPath
InvariantAnalysis
- class pipe.modules.invariantAnalysis.
InvariantAnalysis
.
InvariantAnalysis()
- Constructor for class pipe.modules.invariantAnalysis.
InvariantAnalysis
inverse()
- Method in class jama.
Matrix
Matrix inverse or pseudoinverse
isCovered()
- Method in class pipe.dataLayer.
PNMatrix
Find if a matrix of invariants is covered.
isDraggable()
- Method in class pipe.dataLayer.
PetriNetObject
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
isFullRank()
- Method in class jama.
QRDecomposition
Is the matrix full rank?
isModule(Class)
- Static method in class pipe.gui.
ModuleLoader
isNonsingular()
- Method in class jama.
LUDecomposition
Is the matrix nonsingular?
isPointSelected(int)
- Method in class pipe.dataLayer.
ArcPath
isSelectable()
- Method in class pipe.dataLayer.
PetriNetObject
isSelected()
- Method in class pipe.dataLayer.
PetriNetObject
isShowingBorder()
- Method in class pipe.dataLayer.
AnnotationNote
isSPD()
- Method in class jama.
CholeskyDecomposition
Is the matrix symmetric and positive definite?
isZeroMatrix()
- Method in class pipe.dataLayer.
PNMatrix
Check if a matrix is all zeros.
isZeroRow(int)
- Method in class pipe.dataLayer.
PNMatrix
isZeroRow returns true if the ith row is all zeros
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