public final java.lang.String |
ANNOTATION_ICON_PATH |
"icons/annotation.png" |
public final java.lang.String |
BIPARTITE_GRAPH_ICON_PATH |
"icons/bipartite_graph.png" |
public final java.lang.String |
BIPARTITE_LAYOUT_ICON_PATH |
"icons/bipartite_layout.png" |
public final java.lang.String |
BREAKPOINT_ACTIVE_ICON_PATH |
"icons/breakpoint_active.png" |
public final java.lang.String |
BREAKPOINT_ICON_PATH |
"icons/breakpoint.png" |
public final java.lang.String |
CIRCLE_LAYOUT_ICON_PATH |
"icons/circle_layout.png" |
public final java.lang.String |
CLOSE_HOVER_ICON_PATH |
"icons/close_hover.png" |
public final java.lang.String |
CLOSE_ICON_PATH |
"icons/close.png" |
public final java.lang.String |
COLLAPSE_ICON_PATH |
"icons/collapse.png" |
public final java.lang.String |
COMPLETE_BIPARTITE_GRAPH_ICON_PATH |
"icons/complete_bipartite_graph.png" |
public final java.lang.String |
COMPLETE_GRAPH_ICON_PATH |
"icons/complete_graph.png" |
public final java.lang.String |
CREATE_COMPLETE_BIPARTITE_GRAPH_ICON_PATH |
"icons/create_complete_bipartite_graph.png" |
public final java.lang.String |
CREATE_COMPLETE_GRAPH_ICON_PATH |
"icons/create_complete_graph.png" |
public final java.lang.String |
DELETE_ICON_PATH |
"icons/delete.png" |
public final java.lang.String |
DROPDOWN_ARROW_ICON_PATH |
"icons/dropdown_arrow.png" |
public final java.lang.String |
EDGE_ADD_ICON_PATH |
"icons/edge_add.png" |
public final java.lang.String |
EXERCISE_GIVEUP_ICON_PATH |
"icons/exercise_giveup.png" |
public final java.lang.String |
EXERCISE_INPUTHINT_ICON_PATH |
"icons/exercise_inputhint.png" |
public final java.lang.String |
EXERCISE_MODE_ICON_PATH |
"icons/exercise_mode.png" |
public final java.lang.String |
EXERCISE_SOLVE_ICON_PATH |
"icons/exercise_solve.png" |
public final java.lang.String |
EXPAND_ICON_PATH |
"icons/expand.png" |
public final java.lang.String |
FAILED_HINT_ICON_PATH |
"icons/failed_hint.png" |
public final java.lang.String |
FAILED_ICON_PATH |
"icons/failed.png" |
public final java.lang.String |
FASTER_ICON_PATH |
"icons/faster.png" |
public final java.lang.String |
FONTSIZE_DOWN_ICON_PATH |
"icons/fontsize_down.png" |
public final java.lang.String |
FONTSIZE_NORMAL_ICON_PATH |
"icons/fontsize_normal.png" |
public final java.lang.String |
FONTSIZE_UP_ICON_PATH |
"icons/fontsize_up.png" |
public final java.lang.String |
INSTRUCTIONS_ICON_PATH |
"icons/instructions.png" |
public final java.lang.String |
LANGUAGE_FILE_PATH |
"files/language.txt" |
public final java.lang.String |
LAVESDK_PROPERTIES_PATH |
"files/lavesdk.properties" |
public final java.lang.String |
MATRIX_TO_GRAPH_ICON_PATH |
"icons/matrix_to_graph.png" |
public final java.lang.String |
MOUSECURSOR_ICON_PATH |
"icons/cursor.png" |
public final java.lang.String |
NEW_ICON_PATH |
"icons/new.png" |
public final java.lang.String |
NEXTSTEP_ICON_PATH |
"icons/next_step.png" |
public final java.lang.String |
OPEN_ICON_PATH |
"icons/open.png" |
public final java.lang.String |
PAUSE_BEFORE_STOP_ICON_PATH |
"icons/pause_before_stop.png" |
public final java.lang.String |
PAUSE_ICON_PATH |
"icons/pause.png" |
public final java.lang.String |
PLAY_PAUSE_ICON_PATH |
"icons/play_pause.png" |
public final java.lang.String |
PREVSTEP_ICON_PATH |
"icons/prev_step.png" |
public final java.lang.String |
PROPERTIES_ICON_PATH |
"icons/properties.png" |
public final java.lang.String |
QUESTION_ICON_PATH |
"icons/question.png" |
public final java.lang.String |
RANDOM_GRAPH_ICON_PATH |
"icons/random_graph.png" |
public final java.lang.String |
REFRESH_ICON_PATH |
"icons/refresh.png" |
public final java.lang.String |
RESET_EXECSPEED_ICON_PATH |
"icons/reset_execspeed.png" |
public final java.lang.String |
SAVE_ICON_PATH |
"icons/save.png" |
public final java.lang.String |
SKIP_BREAKPOINTS_ICON_PATH |
"icons/skip_breakpoints.png" |
public final java.lang.String |
SLOWER_ICON_PATH |
"icons/slower.png" |
public final java.lang.String |
SORT_DOWN_ICON_PATH |
"icons/sort_down.png" |
public final java.lang.String |
SORT_UP_ICON_PATH |
"icons/sort_up.png" |
public final java.lang.String |
START_FINISH_ICON_PATH |
"icons/start_finish.png" |
public final java.lang.String |
START_ICON_PATH |
"icons/start.png" |
public final java.lang.String |
STOP_ICON_PATH |
"icons/stop.png" |
public final java.lang.String |
SUCCEEDED_ICON_PATH |
"icons/succeeded.png" |
public final java.lang.String |
SUFFICIENT_ICON_PATH |
"icons/sufficient.png" |
public final java.lang.String |
VERTEX_ADD_ICON_PATH |
"icons/vertex_add.png" |
public final java.lang.String |
ZOOM_IN_ICON_PATH |
"icons/zoom_in.png" |
public final java.lang.String |
ZOOM_OUT_ICON_PATH |
"icons/zoom_out.png" |