public class PortalLordEventDecoder extends EventDecoder
Modifier and Type | Field and Description |
---|---|
static char |
CLEAR_SELECTED |
static char |
UNCLEAR |
static char |
VALUE_SET |
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 |
---|
PortalLordEventDecoder() |
addEventMapping, createEvent, getEncodingCharacter, getEventDecoder, getPuzzleClass, parseRunnableEvents, setPuzzleClass
public static final char VALUE_SET
public static final char CLEAR_SELECTED
public static final char UNCLEAR