de.uka.ilkd.key.axiom_abstraction.predicateabstraction

Class AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator

java.lang.Object

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

All Implemented Interfaces:

java.util.Iterator<AbstractDomainElement>

Direct Known Subclasses:

ConjunctivePredicateAbstractionLattice.PredicateLatticeIterator, DisjunctivePredicateAbstractionLattice.PredicateLatticeIterator

Enclosing class:

AbstractPredicateAbstractionLattice

protected abstract class AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator
extends java.lang.Object
implements java.util.Iterator<AbstractDomainElement>

An abstract iterator which basically only sets up the bit sets used for building up complex iterators.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>>	bitSetsByNumZeroes

Constructor Summary

Constructors

Constructor and Description
AbstractPredicateLatticeIterator(int numApplPreds) Constructs a new AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator; initializes the bit sets for the iteration.

Method Summary

Modifier and Type	Method and Description
java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>>	getBitSetsByNumZeroes()
void	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, hasNext, next

Field Detail

bitSetsByNumZeroes

private final java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> bitSetsByNumZeroes

Constructor Detail

AbstractPredicateLatticeIterator

public AbstractPredicateLatticeIterator(int numApplPreds)

Constructs a new AbstractPredicateAbstractionLattice.AbstractPredicateLatticeIterator; initializes the bit sets for the iteration.

Parameters:

numApplPreds - The number of applicable predicates for the lattice.

Method Detail

getBitSetsByNumZeroes

public java.util.ArrayList<java.util.ArrayList<ImmutableFixedLengthBitSet>> getBitSetsByNumZeroes()

Returns:

The list of bit sets for all given numbers of zeroes occurrences.

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<AbstractDomainElement>