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
U
uminus()
- Method in class pipe.dataLayer.
PNMatrix
Unary minus
uminus()
- Method in class jama.
Matrix
Unary minus
unhighlightDisabledTransitions()
- Method in class pipe.gui.
Animator
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
updateArc()
- Method in class pipe.dataLayer.
ArcPath
updateArcPosition()
- Method in class pipe.dataLayer.
Arc
Updates the start position of the arc, resets the arrowhead and updates the bounds
updateArrow()
- Method in class pipe.dataLayer.
Arc
updateBounds()
- Method in class pipe.gui.
SelectionObject
updateBounds()
- Method in class pipe.dataLayer.
AnnotationNote
updateBounds()
- Method in class pipe.dataLayer.
Arc
Updates the bounding box of the arc component based on the arcs bounds
updateBounds()
- Method in class pipe.dataLayer.
PlaceTransitionObject
Calculates the BoundsOffsets used for setBounds() method
updateConnected()
- Method in class pipe.dataLayer.
PlaceTransitionObject
Updates location of any attached arcs
updateEndPoint(Arc)
- Method in class pipe.dataLayer.
Place
updateEndPoint(Arc)
- Method in class pipe.dataLayer.
PlaceTransitionObject
updateEndPoint(Arc)
- Method in class pipe.dataLayer.
Token
updateEndPoint(Arc)
- Method in class pipe.dataLayer.
Transition
updateEndPoints()
- Method in class pipe.dataLayer.
Transition
updatePointLocation()
- Method in class pipe.dataLayer.
ArcPathPoint
updatePosition()
- Method in class pipe.dataLayer.
NameLabel
updatePreferredSize()
- Method in class pipe.gui.
GuiView
updateSize()
- Method in class pipe.dataLayer.
NameLabel
updateSize(Container)
- Static method in class pipe.gui.
Grid
updateSize(MouseEvent)
- Method in class pipe.dataLayer.
Token
userPath
- Static variable in class pipe.gui.
CreateGui
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