protected abstract class AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator extends java.lang.Object implements java.util.Iterator<AbstractDomainElement>
Modifier and Type | Field and Description |
---|---|
private java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> |
bitSetsByNumZeroes |
Constructor and Description |
---|
AbstractPredicateLatticeIterator(int numApplPreds)
Constructs a new
AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator ;
initializes the bit sets for the iteration. |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> |
getBitSetsByNumZeroes() |
void |
remove() |
private final java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> bitSetsByNumZeroes
public AbstractPredicateLatticeIterator(int numApplPreds)
AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator
;
initializes the bit sets for the iteration.numApplPreds
- The number of applicable predicates for the lattice.public java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> getBitSetsByNumZeroes()
public void remove()
remove
in interface java.util.Iterator<AbstractDomainElement>