Package soot.jimple.spark.geom.geomPA
Interface IWorklist
-
- All Known Implementing Classes:
FIFO_Worklist,PQ_Worklist
public interface IWorklistThe worklist interface that abstracts the selection strategy.- Author:
- xiao
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidclear()booleanhas_job()voidinitialize(int size)Some worklist may need the initial capacity.IVarAbstractionnext()voidpush(IVarAbstraction p)intsize()
-
-
-
Method Detail
-
initialize
void initialize(int size)
Some worklist may need the initial capacity.- Parameters:
size-
-
has_job
boolean has_job()
-
next
IVarAbstraction next()
-
push
void push(IVarAbstraction p)
-
size
int size()
-
clear
void clear()
-
-