net.sf.tweety.preferences.events
Interfaces
UpdateListener
Classes
UpdateEvent
UpdatePrinter