DepthFirstWaitlist (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.defaults.AbstractWaitlist<java.util.LinkedHashSet<AbstractState>>
- - proguard.analysis.cpa.defaults.DepthFirstWaitlist

All Implemented Interfaces:

java.lang.Iterable<AbstractState>, Waitlist
```
public class DepthFirstWaitlist
extends AbstractWaitlist<java.util.LinkedHashSet<AbstractState>>
```
This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.

- Field Summary
  - Fields inherited from class proguard.analysis.cpa.defaults.AbstractWaitlist
    waitlist
- Constructor Summary
  
  Constructors
  Constructor Description
  
  DepthFirstWaitlist()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  AbstractState pop()
  Remove the next abstract state and return it.
  - Methods inherited from class proguard.analysis.cpa.defaults.AbstractWaitlist
    add, addAll, clear, contains, forEach, isEmpty, iterator, remove, removeAll, size, spliterator
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - DepthFirstWaitlist
```
public DepthFirstWaitlist()
```
- Method Detail
  - pop
```
public AbstractState pop()
```
    Description copied from interface: Waitlist
    
    Remove the next abstract state and return it.