ix.ip2
Interface AgendaManager

All Known Implementing Classes:
Agenda

public interface AgendaManager


Method Summary
 void addItem(AgendaItem i)
           
 void expandItem(AgendaItem i, Refinement instructions)
           
 void handleItem(AgendaItem i, HandlerAction a)
           
 AgendaItem makeItem(LList pattern)
           
 AgendaItem makeItem(java.lang.String patternText)
           
 

Method Detail

addItem

public void addItem(AgendaItem i)

makeItem

public AgendaItem makeItem(java.lang.String patternText)

makeItem

public AgendaItem makeItem(LList pattern)

handleItem

public void handleItem(AgendaItem i,
                       HandlerAction a)

expandItem

public void expandItem(AgendaItem i,
                       Refinement instructions)