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, takebackSideEffects
canUserGenerate, 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, toStringWithoutTime
public GraphResizedEvent(PuzzleInstance game)
public java.lang.String getEventName()
BaseEvent
getEventName
in class GenericEvent<PuzzleInstance>