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
 

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