public interface Constants extends CommonConstants
Modifier and Type | Field and Description |
---|---|
static Color |
ASSIGN_COL
Color for assignments labels.
|
static int |
BRANCHPOINT_RADIUS
Radius of a branchpoint.
|
static Color |
COMMENTS_COL
Color for comments.
|
static Color |
EXPONENTIALRATE_COL
Color for rates of exponential labels.
|
static Color |
GUARD_COL
Color for guard labels.
|
static Color |
INVARIANT_COL
Color for invariant labels.
|
static Color |
LABEL_COL
Default label color
|
static Color |
NAIL_COL
Color for transition nail.
|
static Color |
NAIL_FILL_COL
Color for nail fill.
|
static int |
NAIL_RADIUS
Radius and touch distance of a nail.
|
static Color |
PROB_COL
Color for probability labels.
|
static Color |
SELECT_COL
Color for select labels.
|
static int |
STATE_COMMIT_RADIUS
Radius of the inner symbol of committed locations.
|
static Color |
STATE_FILL_COL
Color for state vertex fill.
|
static Color |
STATE_INIT_OUTLINE_COL
Color for initial state inner circle outline.
|
static int |
STATE_INIT_RADIUS
Radius of the inner circle symbolising a initial state.
|
static Color |
STATE_LABEL_COL
Color for state labels.
|
static Color |
STATE_OUTLINE_COL
Color for state vertex outline.
|
static int |
STATE_RADIUS
Radius of a location.
|
static int |
STATE_URGENT_RADIUS
Radius of the inner symbol of urgent locations.
|
static Color |
SYNC_COL
Color for synchronisation labels.
|
static Color |
TRANS_COL
Color for transition edge outline.
|
static int |
TRANS_TOUCH_DISTANCE
The distance from a transition where it is touched.
|
AREA_SELECT_COL, ARROW_ANGLE, ARROW_LENGTH, BIGFONT, BIGFONTNAME, EMPH_COL, FONT, FONTNAME, GLOBAL_DECL_COL, GLOBAL_PROCESSASSIGN_COL, GLOBAL_SYSTEM_COL, GRIDCHANGE, GRIDCOLOR, GRIDMIN, LEVEL, MOUSE_OVER_COL, MOUSE_OVER_REL_COL, PART_COV_COL, PROCESS_FILL_COL, PROCESS_OUTLINE_COL, SELECTED_COL, SNAP_PER_GRID, TEMPLATE_NAME_COL, TEMPLATE_PARAMLIST_COL, TRACE_COV_COL
static final int STATE_RADIUS
static final int STATE_COMMIT_RADIUS
static final int STATE_URGENT_RADIUS
static final int STATE_INIT_RADIUS
static final int BRANCHPOINT_RADIUS
static final int TRANS_TOUCH_DISTANCE
static final int NAIL_RADIUS
static final Color STATE_OUTLINE_COL
static final Color STATE_INIT_OUTLINE_COL
static final Color STATE_FILL_COL
static final Color TRANS_COL
static final Color NAIL_FILL_COL
static final Color NAIL_COL
static final Color STATE_LABEL_COL
static final Color INVARIANT_COL
static final Color EXPONENTIALRATE_COL
static final Color COMMENTS_COL
static final Color LABEL_COL
static final Color ASSIGN_COL
static final Color SYNC_COL
static final Color GUARD_COL
static final Color SELECT_COL
static final Color PROB_COL
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.