Uses of Class
org.tweetyproject.preferences.events.UpdateEvent

Packages that use UpdateEvent

Package	Description
org.tweetyproject.preferences.events

Uses of UpdateEvent in org.tweetyproject.preferences.events

Methods in org.tweetyproject.preferences.events with parameters of type UpdateEvent

Modifier and Type	Method	Description
void	UpdateListener.eventOccurred(UpdateEvent<T> e)	UpdateListener is informed as soon as an update occurs
void	UpdatePrinter.eventOccurred(UpdateEvent<T> e)	This method is called every time an update occurs