public class WeightedEventDecoder extends EventDecoder
Modifier and Type | Field and Description |
---|---|
static char |
MULTI_EDGE_WEIGHT_CHANGED |
static char |
MULTI_TREE_EDGE_ADDED |
static char |
MULTI_TREE_EDGE_REMOVED |
static char |
SOURCE_SELECTED |
ALGORITHM_RESULT_EVENT, CANNOT_BE_USED, CHECK_IT_BUTTON, COMPRESS, DESELECTED, EDGE_ADDED, EDGE_REMOVED, EXPAND, GRAPH_MOVED, HORIZONTAL_FLIP, MULT_VERTEX_MULT_MOVE, MULTI_EDGES_ADDED, MULTI_EDGES_REMOVED, MULTI_VERTEX_ADDED, MULTI_VERTEX_MOVE, MULTI_VERTEX_REMOVED, REDO, RESERVED, RESET_LOCATIONS, SELECTED, SUBGRAPH_ADDED, SUBGRAPH_REMOVED, TRY_IT_BUTTON, UNDO, UNDO_RESET_LOCATIONS, VERTEX_ADDED, VERTEX_MOVED, VERTEX_REMOVED, VERTICAL_FLIP, XY_FLIP
Constructor and Description |
---|
WeightedEventDecoder() |
addEventMapping, createEvent, getEncodingCharacter, getEventDecoder, getPuzzleClass, parseRunnableEvents, setPuzzleClass
public static final char MULTI_EDGE_WEIGHT_CHANGED
public static final char MULTI_TREE_EDGE_ADDED
public static final char MULTI_TREE_EDGE_REMOVED
public static final char SOURCE_SELECTED