public class GraphResizedEvent extends GenericEvent<PuzzleInstance>
| Constructor and Description |
|---|
GraphResizedEvent(PuzzleInstance game) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getEventName()
Return the name of the event for printing.
|
getDefaultBeforeActionComment, getDefaultBetweenActionComment, getDefaultIntroductoryComment, getPrintableDetails, inverseEvent, involvesMultipleVertices, involvesOneVertex, performEvent, takebackSideEffectscanUserGenerate, clearComments, encodeEvent, encodeEvents, equals, getAfterActionComment, getBeforeActionComment, getBetweenActionComment, getGame, getIntroductoryComment, getInverseEvent, getRealAfterActionComment, getRealBeforeActionComment, getRealBetweenActionComment, getRealIntroductoryComment, getTimeSinceFirstEvent, hashCode, isCreatedFromConstructor, isSameEvent, modifiedGraph, modifiedPuzzle, performInverseEvent, performTakebackEvent, setAfterActionComment, setBeforeActionComment, setBetweenActionComment, setCreatedFromConstructor, setGame, setIntroductoryComment, setTimeSinceFirstEvent, toString, toStringWithoutTimepublic GraphResizedEvent(PuzzleInstance game)
public java.lang.String getEventName()
BaseEventgetEventName in class GenericEvent<PuzzleInstance>