Class Worklist
Worklist for fixed-point solver implementation
-
Constructor Details
-
Worklist
public Worklist()
-
-
Method Details
-
compareElements
- Specified by:
compareElements
in classHeap<AbstractStatement>
- Returns:
- true iff elt1 is considered < elt2
-
takeStatement
- Throws:
NoSuchElementException
-
insertStatement
-