| Package | Description |
|---|---|
| net.sf.tweety.preferences.events |
| Modifier and Type | Method and 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
|
Copyright © 2018. All rights reserved.