|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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" |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |