Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
comparemodellogview |
"Compare model-log view" |
public final java.lang.String |
exploretracevarinats |
"Explore trace variants (LogEnhancements)" |
public final java.lang.String |
projectalignmenttolog |
"Project Alignment to Log(PNetReplayer)" |
public final java.lang.String |
projectmodelwithalignments |
"Model Projected with Alignments(PNetReplayer)" |
public final java.lang.String |
selectview |
"Table view" |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
comparemodellogview |
"Compare model-log view" |
public final java.lang.String |
exploretracevarinats |
"Explore trace variants (LogEnhancements)" |
public final java.lang.String |
projectalignmenttolog |
"Project Alignment to Log(PNetReplayer)" |
public final java.lang.String |
projectmodelwithalignments |
"Model Projected with Alignments(PNetReplayer)" |
public final java.lang.String |
selectview |
"Table view" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGR |
"aggregates" |
public static final java.lang.String |
AGGR_DECORATORS |
"aggrDeco" |
public static final java.lang.String |
EDGE_DECORATORS |
"edgeDeco" |
public static final java.lang.String |
EDGES |
"graph.edges" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGR |
"aggregates" |
public static final java.lang.String |
AGGR_DECORATORS |
"aggrDeco" |
public static final java.lang.String |
EDGE_DECORATORS |
"edgeDeco" |
public static final java.lang.String |
EDGES |
"graph.edges" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
FIRSTINPUT |
"First Input" |
public static final java.lang.String |
OUTPUT |
"Output" |
public static final java.lang.String |
SECONDINPUT |
"Second Input" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PLUGIN_ACCEPTING_NET_HELP_TEXT |
"Creates a GUI given an Accepting Petri Net" |
public static final java.lang.String |
PLUGIN_HELP_TEXT |
"Creates a GUI, given a Petri Net and a marking." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
BAR_DECORATOR_AGGREGATE_GROUP |
"aggregatenodes" |
public static final java.lang.String |
BAR_TEXT_DECORATOR_AGGREGATE_GROUP |
"bartextdecoratoraggregategroup" |
public static final java.lang.String |
ENDING_NODES_DECORATOR_GROUP_NAME |
"endingnodesdecorator" |
public static final java.lang.String |
GRAPH_EDGES_GROUP |
"graph.edges" |
public static final java.lang.String |
GRAPH_GROUP |
"graph" |
public static final java.lang.String |
GRAPH_NEXT_ACTIVITY |
"nextactivity" |
public static final java.lang.String |
GRAPH_NODES |
"graph.nodes" |
public static final java.lang.String |
GRAPH_NODES_FORWARD_INTERACTION_FOCUS_GROUP |
"GRAPH_NODES_FORWARD_INTERACTION_FOCUS_GROUP" |
public static final java.lang.String |
GRAPH_NODES_GROUP |
"graph.nodes" |
public static final java.lang.String |
GRAPH_NODES_INCOMING_HIGHLIGHT |
"incomingnodeshighlighted" |
public static final java.lang.String |
GRAPH_NODES_INCOMING_HIGHLIGHT_PATH_CONTROL |
"incomingnodeshighlightedpathcontrol" |
public static final java.lang.String |
GRAPH_NODES_MISSING_PLACE_FOCUS_GROUP |
"GRAPH_NODES_MISSING_PLACE_FOCUS_GROUP" |
public static final java.lang.String |
GRAPH_NODES_OUTGOING_HIGHLIGHT |
"outgoingnodeshighlighted" |
public static final java.lang.String |
GRAPH_NODES_OUTGOING_HIGHLIGHT_PATH_CONTROL |
"outgoingnodeshighlightedpathcontrol" |
public static final java.lang.String |
GRAPH_NODES_PROBLEMATIC_FIT |
"graphnodesproblematicfit" |
public static final java.lang.String |
GRAPH_NODES_PROBLEMATIC_HIGHLIGHT |
"graphnodesproblematichihglight" |
public static final java.lang.String |
INDEGREE_INFO_DECORATOR_GROUP_NAME |
"nodeindegreeinfo" |
public static final java.lang.String |
LABEL_DECORATOR_GROUP_NAME |
"nodedescription" |
public static final java.lang.String |
LAYER_SIMPLIFIER_AGGREGATE_GROUP |
"layersimplifiercontrol" |
public static final java.lang.String |
LAYER_SIMPLIFIER_DECORATOR_NAME |
"layersimplifier" |
public static final java.lang.String |
LONG_EDGES_TEXT_SOURCE_DECORATOR_GROUP_NAME |
"longedgestextsourcedecoratorgroupname" |
public static final java.lang.String |
LONG_EDGES_TEXT_TARGET_DECORATOR_GROUP_NAME |
"longedgestexttargetdecoratorgroupname" |
public static final java.lang.String |
OUTDEGREE_INFO_DECORATOR_GROUP_NAME |
"nodeoutdegreeinfo" |
public static final java.lang.String |
RUBBER_BAND_GROUP |
"rubberbandgroup" |
public static final java.lang.String |
SELECTED_NODES |
"selectednodes" |
public static final java.lang.String |
SELECTED_REMOVE_GROUP |
"selectedremovegroup" |
public static final java.lang.String |
SIMPLIFICATION_BARS_DECORATOR_NAME |
"nodebars" |
public static final java.lang.String |
SIMPLIFICATION_BARS_TEXT_DECORATOR_NAME |
"nodebarstext" |
public static final java.lang.String |
STARTING_NODES_DECORATOR_GROUP_NAME |
"startingnodesdecorator" |
public static final java.lang.String |
TOKENS_TEXT_DECORATOR_GROUP_NAME |
"tokenstextdecoratorgroupname" |
Modifier and Type | Constant Field | Value |
---|---|---|
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" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EDGE_PARAMS |
"_hierarchicalLayoutEdgeParams" |
public static final java.lang.String |
NODE_PARAMS |
"_hierarchicalLayoutNodeParams" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EDGE_PARAMS |
"_hierarchicalLayoutEdgeParams" |
public static final java.lang.String |
NODE_PARAMS |
"_hierarchicalLayoutNodeParams" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LAYER_VALUE_HOLDER_KEY |
"LAYER_VALUE_HOLDER_KEY" |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
alphabetical |
"Alphabetical" |
public final java.lang.String |
heuLtoR |
"Heuristics L-to-R" |
public final java.lang.String |
selectview |
"Select " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGR |
"aggregates" |
public static final java.lang.String |
AGGR_DECORATORS |
"aggrDeco" |
public static final java.lang.String |
EDGE_DECORATORS |
"edgeDeco" |
public static final java.lang.String |
EDGES |
"graph.edges" |
public static final java.lang.String |
GRAPH |
"graph" |
public static final java.lang.String |
NODE_DECORATORS |
"nodeDeco" |
public static final java.lang.String |
NODES |
"graph.nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGR |
"aggregates" |
public static final java.lang.String |
AGGR_DECORATORS |
"aggrDeco" |
public static final java.lang.String |
EDGE_DECORATORS |
"edgeDeco" |
public static final java.lang.String |
EDGES |
"graph.edges" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
AGGR |
"aggregates" |
public static final java.lang.String |
AGGR_DECORATORS |
"aggrDeco" |
public static final java.lang.String |
EDGE_DECORATORS |
"edgeDeco" |
public static final java.lang.String |
EDGES |
"graph.edges" |
Modifier and Type | Constant Field | Value |
---|---|---|
public final java.lang.String |
comparemodellogview |
"Compare model-log view" |
public final java.lang.String |
exploretracevarinats |
"Explore trace variants (LogEnhancements)" |
public final java.lang.String |
projectalignmenttolog |
"Project Alignment to Log(PNetReplayer)" |
public final java.lang.String |
projectmodelwithalignments |
"Model Projected with Alignments(PNetReplayer)" |
public final java.lang.String |
selectview |
"Table view" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
EDGES |
"graph.edges" |
public static final java.lang.String |
GRAPH |
"graph" |
public static final java.lang.String |
NODES |
"graph.nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LABEL |
"label" |
public static final java.lang.String |
TREE |
"tree" |
public static final java.lang.String |
TREE_EDGES |
"tree.edges" |
public static final java.lang.String |
TREE_NODES |
"tree.nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DRAW |
"draw" |
public static final java.lang.String |
GRAPH |
"graph" |
public static final java.lang.String |
GRAPH_EDGES |
"graph.edges" |
public static final java.lang.String |
GRAPH_NODES |
"graph.nodes" |
public static final java.lang.String |
LABEL |
"label" |
public static final java.lang.String |
LAYOUT |
"layout" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
TARGET_SUM |
800 |