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

B

betaCoef(int, int) - Method in class pipe.modules.invariantAnalysis.InvariantAnalysis
adjust linear combination coefficients according to sign if sign(j) <> sign(k) then alpha = abs(j) beta = abs(k) if sign(j) == sign(k) then alpha = -abs(j) beta = abs(k)
BOTTOM - Static variable in class pipe.dataLayer.AnnotationNote.ResizePoint
 
boundsHeight() - Method in class pipe.dataLayer.Place
Returns the height bounds we want to use when initially creating the place on the gui
boundsHeight() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the height bounds we want to use when initially creating the place on the gui
boundsHeight() - Method in class pipe.dataLayer.Transition
Returns the height bounds we want to use when initially creating the place on the gui
boundsWidth() - Method in class pipe.dataLayer.Place
Returns the width bounds we want to use when initially creating the place on the gui
boundsWidth() - Method in class pipe.dataLayer.PlaceTransitionObject
Returns the width bounds we want to use when initially creating the place on the gui
boundsWidth() - Method in class pipe.dataLayer.Transition
Returns the width bounds we want to use when initially creating the place on the gui
ButtonBar - class pipe.gui.widgets.ButtonBar.
ButtonBar object Create one with
ButtonBar(String[], ActionListener[]) - Constructor for class pipe.gui.widgets.ButtonBar
Multiple button constructor
ButtonBar(String, ActionListener) - Constructor for class pipe.gui.widgets.ButtonBar
Single button constructor

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