Package gui

Class ScheduleEvent

java.lang.Object

gui.ScheduleEvent

public class ScheduleEvent
extends java.lang.Object

This class represents an event associated with a schedule change, such as best state changing, a state being generated, or a state being pruned

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ScheduleEvent.EventType

Constructor Summary

Constructors

Constructor	Description
ScheduleEvent(ScheduleEvent.EventType type)	Create a ScheduleEvent of the specified type

Method Summary

Modifier and Type	Method	Description
ScheduleEvent.EventType	getType()	Get the type of event of this ScheduleEvent
static ScheduleEvent	makeNewStateEvent()	Create a schedule event representing a new state being generated

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ScheduleEvent

public ScheduleEvent(ScheduleEvent.EventType type)

Create a ScheduleEvent of the specified type

Parameters:

type - The enum event type

Method Detail

makeNewStateEvent

public static ScheduleEvent makeNewStateEvent()

Create a schedule event representing a new state being generated

Returns:

getType

public ScheduleEvent.EventType getType()

Get the type of event of this ScheduleEvent

Returns: