Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# Constant Field Values

Contents

- pipe.dataLayer.*
- pipe.gui.*
- pipe.modules.*

pipe.dataLayer.*

pipe.dataLayer.AnnotationNote.ResizePoint
`public static final int` | `BOTTOM` | `2`
`public static final int` | `LEFT` | `4`
`public static final int` | `RIGHT` | `8`
`public static final int` | `SIZE` | `4`
`public static final int` | `TOP` | `1`

pipe.dataLayer.Arc
`public static final java.lang.String` | `type` | `"Arc"`

pipe.dataLayer.ArcPathPoint
`public static final boolean` | `CURVED` | `true`
`public static final int` | `SIZE` | `4`
`public static final int` | `SIZE_OFFSET` | `4`
`public static final boolean` | `STRAIGHT` | `false`

pipe.dataLayer.DataLayer
`private final int` | `DISPLAY_SCALE_FACTORX` | `7`
`private final int` | `DISPLAY_SCALE_FACTORY` | `7`
`private final int` | `DISPLAY_SHIFT_FACTORX` | `270`
`private final int` | `DISPLAY_SHIFT_FACTORY` | `120`

pipe.dataLayer.PetriNetObject
`protected static final int` | `COMPONENT_DRAW_OFFSET` | `5`

pipe.dataLayer.Place
`public static final int` | `DIAMETER` | `30`
`public static final java.lang.String` | `type` | `"Place"`

pipe.dataLayer.Token
`public static final int` | `DIAMETER` | `5`

pipe.dataLayer.Transition
`public static final int` | `TRANSITION_HEIGHT` | `30`
`public static final int` | `TRANSITION_WIDTH` | `10`
`public static final java.lang.String` | `type` | `"Transition"`

pipe.dataLayer.pipe.dataLayer.Transition.ArcAngleCompare
`public static final boolean` | `SOURCE` | `false`
`public static final boolean` | `TARGET` | `true`

pipe.gui.*

pipe.gui.Constants
`public static final int` | `ADDTOKEN` | `107`
`public static final int` | `ANIMATE` | `98`
`public static final int` | `ANNOTATION` | `109`
`public static final java.lang.String` | `ANNOTATION_DEFAULT_FONT` | `"Helvetica"`
`public static final int` | `ANNOTATION_DEFAULT_FONT_SIZE` | `12`
`public static final int` | `ANNOTATION_LAYER_OFFSET` | `10`
`public static final int` | `ANNOTATION_MIN_WIDTH` | `40`
`public static final int` | `ANNOTATION_SIZE_OFFSET` | `4`
`public static final int` | `ARC` | `112`
`public static final int` | `ARC_CONTROL_POINT_CONSTANT` | `3`
`public static final int` | `ARC_LAYER_OFFSET` | `20`
`public static final int` | `ARC_PATH_PROXIMITY_WIDTH` | `10`
`public static final int` | `ARC_PATH_SELECTION_WIDTH` | `6`
`public static final int` | `ARC_POINT_LAYER_OFFSET` | `50`
`public static final int` | `CREATING` | `200`
`public static final int` | `DEFAULT_ELEMENT_TYPE` | `110`
`public static final int` | `DELETE` | `111`
`public static final int` | `DELTOKEN` | `108`
`public static final int` | `DRAW` | `115`
`public static final int` | `FIRE` | `101`
`public static final int` | `GRID` | `113`
`public static final int` | `IMMTRANS` | `106`
`public static final int` | `LOWEST_LAYER_OFFSET` | `0`
`public static final int` | `PLACE` | `105`
`public static final int` | `PLACE_TRANSITION_HEIGHT` | `30`
`public static final int` | `PLACE_TRANSITION_LAYER_OFFSET` | `30`
`public static final int` | `PLACE_TRANSITION_PROXIMITY_RADIUS` | `25`
`public static final java.lang.String` | `PROPERTY_FILE_DESC` | `"PIPE Properties file"`
`public static final java.lang.String` | `PROPERTY_FILE_EXTENSION` | `".properties"`
`public static final int` | `RANDOM` | `99`
`public static final int` | `RESERVED_BORDER` | `12`
`public static final int` | `SELECT` | `110`
`public static final int` | `SELECTION_LAYER_OFFSET` | `90`
`public static final int` | `START` | `100`
`public static final int` | `STEPBACKWARD` | `103`
`public static final int` | `STEPFORWARD` | `102`
`public static final int` | `STOP` | `104`
`public static final int` | `TIMEDTRANS` | `114`

pipe.gui.Export
`public static final int` | `PNG` | `1`
`public static final int` | `POSTSCRIPT` | `2`
`public static final int` | `PRINTER` | `3`

pipe.gui.TransitionHandler
`static final int` | `ROTATE_ANGLE` | `45`

pipe.gui.widgets.GraphPanel
`static final double` | `GraphBottom` | `0.9d`
`static final double` | `GraphLeft` | `0.1d`
`static final double` | `GraphPointSize` | `1.0d`
`static final double` | `GraphRight` | `0.9d`
`static final double` | `GraphTop` | `0.1d`

pipe.modules.*

pipe.modules.classification.Classification
`private static final java.lang.String` | `MODULE_NAME` | `"Classification"`

pipe.modules.comparison.Comparison
`private static final java.lang.String` | `MODULE_NAME` | `"Comparison"`

pipe.modules.dnamaca.Dnamaca
`private static final java.lang.String` | `MODULE_NAME` | `"DNAmaca"`

pipe.modules.gspn.GSPN
`private static final java.lang.String` | `MODULE_NAME` | `"GSPN Analysis"`

pipe.modules.invariantAnalysis.InvariantAnalysis
`private static final java.lang.String` | `MODULE_NAME` | `"Invariant Analysis"`

pipe.modules.matrixes.Matrixes
`private static final java.lang.String` | `MODULE_NAME` | `"Incidence & Marking"`

pipe.modules.predatorInvariantAnalysis.PredatorInvariantAnalysis
`private static final java.lang.String` | `MODULE_NAME` | `"Predator Invariant Analysis"`

pipe.modules.simulation.Simulation
`private static final java.lang.String` | `MODULE_NAME` | `"Simulation"`

pipe.modules.stateSpace.StateSpace
`private static final java.lang.String` | `MODULE_NAME` | `"State Space Analysis"`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES