de.uka.ilkd.key.axiom_abstraction.predicateabstraction

Class ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator

java.lang.Object

de.uka.ilkd.key.axiom_abstraction.predicateabstraction.AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator

de.uka.ilkd.key.axiom_abstraction.predicateabstraction.ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator

All Implemented Interfaces:

java.util.Iterator<AbstractDomainElement>

Enclosing class:

ConjunctivePredicateAbstractionLattice

private class ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator
extends AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator

See Also:

ConjunctivePredicateAbstractionLattice.iterator()

Field Summary

Fields

Modifier and Type	Field and Description
private int	idx
private int	nrZeroes

Constructor Summary

Constructors

Constructor and Description
PredicateLatticeIterator() Constructs a new ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator; initializes the bit sets for the iteration.

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
AbstractDomainElement	next()

Methods inherited from class de.uka.ilkd.key.axiom_abstraction.predicateabstraction.AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator

getBitSetsByNumZeroes, remove

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

nrZeroes

private int nrZeroes

idx

private int idx

Constructor Detail

PredicateLatticeIterator

public PredicateLatticeIterator()

Constructs a new ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator; initializes the bit sets for the iteration.

Method Detail

hasNext

public boolean hasNext()

next

public AbstractDomainElement next()