| 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
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 | 
|---|
void addItem(AgendaItem i)
AgendaItem makeItem(java.lang.String patternText)
AgendaItem makeItem(LList pattern)
void handleItem(AgendaItem i,
                HandlerAction a)
void expandItem(AgendaItem i,
                Refinement instructions)
  | 
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||