IAgendaListener.java

package jadex.rules.rulesystem;

/**
 *  Listener to be notified of agenda changes.
 */
public interface IAgendaListener
{
	/**
	 *  Called when the agenda has changed.
	 */
	public void	agendaChanged();
}