Class Worklist


public class Worklist extends Heap<AbstractStatement>
Worklist for fixed-point solver implementation