Constant Field Values


Contents
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"