protected abstract class AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator extends java.lang.Object implements java.util.Iterator<AbstractDomainElement>
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() |
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>
Copyright © 2003-2019 The KeY-Project.