private class DisjunctivePredicateAbstractionLattice.PredicateLatticeIterator extends AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator
Constructor and Description |
---|
PredicateLatticeIterator()
Constructs a new
DisjunctivePredicateAbstractionLattice.PredicateLatticeIterator ; initializes the
bit sets for the iteration. |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
AbstractDomainElement |
next() |
getBitSetsByNumZeroes, remove
public PredicateLatticeIterator()
DisjunctivePredicateAbstractionLattice.PredicateLatticeIterator
; initializes the
bit sets for the iteration.public boolean hasNext()
public AbstractDomainElement next()