|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IWorklist
Worklist, abstracts the selection strategy
| Method Summary | |
|---|---|
void |
clear()
|
boolean |
has_job()
|
void |
initialize(int size)
Some worklist may need the initial capacity. |
IVarAbstraction |
next()
|
void |
push(IVarAbstraction p)
|
int |
size()
|
| Method Detail |
|---|
void initialize(int size)
size - boolean has_job()
IVarAbstraction next()
void push(IVarAbstraction p)
int size()
void clear()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||