public static final long |
ANIMATION_LENGTH_DEFAULT |
1500L |
public static final int |
BAR_TEXT_OFFSET |
10 |
public static final boolean |
DEBUG |
true |
public static final java.lang.String |
EDGE_BENDS_KEY |
"bends" |
public static final java.lang.String |
EDGE_BIDIRECTIONAL |
"bidirectional" |
public static final java.lang.String |
EDGE_BIDIRECTIONAL_DRAW |
"bidirectionaldraw" |
public static final java.lang.String |
EDGE_COLOR_KEY |
"color" |
public static final java.lang.String |
EDGE_FORCE_SIMPLIFICATION |
"forcesimplification" |
public static final java.lang.String |
EDGE_INHIBITOR_KEY |
"inhibitorarc" |
public static final int |
EDGE_LANDING_OFFSET_DEFAULT |
2 |
public static final java.lang.String |
EDGE_LONG_EDGE_KEY |
"longedge" |
public static final java.lang.String |
EDGE_RESET_KEY |
"resetarc" |
public static final java.lang.String |
EDGE_SIMPLIFICABLE |
"edgesimplificable" |
public static final java.lang.String |
EDGE_SOURCE_PORT_OFFSET |
"edgesourceportoffset" |
public static final java.lang.String |
EDGE_TARGET_PORT_OFFSET |
"edgetargetportoffset" |
public static final java.lang.String |
EMPTY_LABEL |
"" |
public static final float |
ENDING_NODE_SHAPE_PERCENTAGE_SIZE |
0.800000011920929f |
public static final java.lang.String |
FILLING_EXTRA_COLOR_KEY |
"fillingcolors" |
public static final int |
FONT_DEFAULT_SIZE |
12 |
public static final int |
FONT_DEGREE_DEFAULT_SIZE |
2 |
public static final int |
INTRACELL_SPACING_DEFAULT |
5 |
public static final int |
LAYER_SPACING_DEFAULT |
15 |
public static final float |
LONG_EDGES_TEXT_OFFSET |
2.5f |
public static final java.lang.String |
LOOP_KEY |
"looppart" |
public static final java.lang.String |
NODE_CHOICE_NODES_KEY |
"choicenodes" |
public static final java.lang.String |
NODE_DEAD_TRANSITION_KEY |
"deadtransition" |
public static final java.lang.String |
NODE_DEPTH_KEY |
"nodedepth" |
public static final java.lang.String |
NODE_ENDING_KEY |
"endingnode" |
public static final java.lang.String |
NODE_HEIGHT_KEY |
"height" |
public static final java.lang.String |
NODE_ID_KEY |
"originalId" |
public static final java.lang.String |
NODE_LABEL_KEY |
"label" |
public static final java.lang.String |
NODE_LAYER_KEY |
"layer" |
public static final java.lang.String |
NODE_MAX_LAYER_KEY |
"maxlayer" |
public static final java.lang.String |
NODE_NON_LIVE_TRANSITION_KEY |
"nonlivetransition" |
public static final java.lang.String |
NODE_PARALLEL_NODES_KEY |
"parallelnodes" |
public static final java.lang.String |
NODE_SELECTED_TRANSITION |
"selectedtransition" |
public static final java.lang.String |
NODE_SEQUENCE_KEY |
"sequence" |
public static final java.lang.String |
NODE_STARTING_KEY |
"startingnode" |
public static final java.lang.String |
NODE_TAU_TRANSITION_KEY |
"tautransition" |
public static final java.lang.String |
NODE_TOKEN_COUNT_KEY |
"tokencount" |
public static final java.lang.String |
NODE_TYPE_KEY |
"type" |
public static final java.lang.String |
NODE_UNBOUNDED_PLACE_KEY |
"unboundedplace" |
public static final java.lang.String |
NODE_WIDTH_KEY |
"width" |
public static final int |
PLACES_DEFAULT_SIZE |
20 |
public static final int |
SHAPE_TRANSITION |
10 |
public static final java.lang.String |
SIMPLIFIED_BOTTOM_KEY |
"simplified_bottom" |
public static final java.lang.String |
SIMPLIFIED_KEY |
"simplified" |
public static final java.lang.String |
SIMPLIFIED_OLD_KEY |
"simplifiedold" |
public static final java.lang.String |
SIMPLIFIED_TOP_KEY |
"simplified_top" |
public static final java.lang.String |
SIMPLIFIER_DECORATOR_HEIGHT |
"height" |
public static final java.lang.String |
SIMPLIFIER_DECORATOR_WIDTH |
"width" |
public static final float |
STARTING_NODE_SHAPE_PERCENTAGE_SIZE |
0.20000000298023224f |
public static final float |
STROKE_DEFAULT_WIDTH |
0.800000011920929f |
public static final int |
TAU_TRANSITIONS_SIZE |
3 |
public static final int |
TRANSITIONS_DEFAULT_HEIGHT |
20 |
public static final int |
TRANSITIONS_DEFAULT_WIDTH |
10 |
public static final java.lang.String |
VIS_ANIMATE_LAYOUT_ACTIONS_NAME |
"animatelayout" |
public static final java.lang.String |
VIS_DECORATORS_ACTIONS_NAME |
"decorators" |
public static final java.lang.String |
VIS_FILL_EDGES_ACTIONS_NAME |
"filledges" |
public static final java.lang.String |
VIS_FILL_NODES_ACTIONS_NAME |
"fillnodes" |
public static final java.lang.String |
VIS_FILL_NODES_DEPTH_ACTIONS_NAME |
"fillnodesdepth" |
public static final java.lang.String |
VIS_HIGHLIGHT_ACTIONS_NAME |
"highlights" |
public static final java.lang.String |
VIS_HIGHLIGHT_EDGES_ACTIONS_NAME |
"highlightsedges" |
public static final java.lang.String |
VIS_LAYOUT_ACTIONS_NAME |
"layout" |
public static final java.lang.String |
VIS_LAYOUT_DECORATORS |
"layoutdecorators" |
public static final java.lang.String |
VIS_LAYOUT_FIT_BOUNDS_ACTIONS_NAME |
"fitbounds" |
public static final java.lang.String |
VIS_LAYOUT_FIT_BOUNDS_ANIMATED_ACTIONS_NAME |
"fitboundsanimated" |
public static final java.lang.String |
VIS_LAYOUT_NO_PAINT_ACTIONS_NAME |
"layoutnopaint" |
public static final java.lang.String |
VIS_LAYOUT_ROTATE |
"layoutrotate" |
public static final java.lang.String |
VIS_LOOP_MODE_ANIMATIONS_ACTIONS_NAME |
"loopmodeanimations" |
public static final java.lang.String |
VIS_POSITION_ANIMATE_ACTIONS_NAME |
"positionanimate" |
public static final java.lang.String |
VIS_REPAINT_ACTIONS_NAME |
"repaint" |
public static final java.lang.String |
VIS_SHAPE_ASSIGNMENT_ACTIONS_NAME |
"aspect" |
public static final java.lang.String |
VIS_SIMPLIFIER_DECORATOR_ACTIONS |
"simplifierdecoratoraction" |
public static final java.lang.String |
VIS_SOUNDNESS_COLOR_ACTIONS_NAME |
"soundnesscoloraction" |
public static final java.lang.String |
VIS_SOUNDNESS_PROBLEMATIC_FIT_ACTIONS_NAME |
"problematicgroupfitaction" |
public static final java.lang.String |
VIS_STROKE_COLOR_ACTIONS_NAME |
"strokecoloraction" |
public static final java.lang.String |
VIS_STROKE_EDGES_ACTIONS_NAME |
"strokeedges" |
public static final java.lang.String |
VIS_TEXT_COLOR_ACTIONS_NAME |
"textcoloraction" |
public static final java.lang.String |
VISIBLE_IN_DEGREE |
"visibleindegree" |
public static final java.lang.String |
VISIBLE_OUT_DEGREE |
"visibleoutdegree" |