| Constructor and Description |
|---|
FIFO_Worklist() |
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
boolean |
has_job() |
void |
initialize(int size)
Some worklist may need the initial capacity.
|
IVarAbstraction |
next() |
void |
push(IVarAbstraction pv) |
int |
size() |
public void initialize(int size)
IWorklistinitialize in interface IWorklistpublic IVarAbstraction next()
public void push(IVarAbstraction pv)
Copyright © 2021 Soot OSS. All rights reserved.