Modifier and Type | Field and Description |
---|---|
private Iterator<Term> |
instances |
private Term |
nextInst |
private QuantifiableVariable |
quantifiedVar |
private Sort |
quantifiedVarSort |
private Function |
quantifiedVarSortCast |
private TermServices |
services |
Modifier | Constructor and Description |
---|---|
private |
HIIterator(Iterator<Term> it,
QuantifiableVariable var,
TermServices services) |
Modifier and Type | Method and Description |
---|---|
private void |
findNextInst() |
boolean |
hasNext() |
Term |
next() |
void |
remove() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEachRemaining
private final QuantifiableVariable quantifiedVar
private final Sort quantifiedVarSort
private final Function quantifiedVarSortCast
private Term nextInst
private final TermServices services
private HIIterator(Iterator<Term> it, QuantifiableVariable var, TermServices services)