private class HeuristicInstantiation.HIIterator extends java.lang.Object implements java.util.Iterator<Term>
Modifier and Type | Field and Description |
---|---|
private java.util.Iterator<Term> |
instances |
private Term |
nextInst |
private QuantifiableVariable |
quantifiedVar |
private Sort |
quantifiedVarSort |
private Function |
quantifiedVarSortCast |
private TermServices |
services |
Modifier | Constructor and Description |
---|---|
private |
HIIterator(java.util.Iterator<Term> it,
QuantifiableVariable var,
TermServices services) |
Modifier and Type | Method and Description |
---|---|
private void |
findNextInst() |
boolean |
hasNext() |
Term |
next() |
void |
remove() |
private final java.util.Iterator<Term> instances
private final QuantifiableVariable quantifiedVar
private final Sort quantifiedVarSort
private final Function quantifiedVarSortCast
private Term nextInst
private final TermServices services
private HIIterator(java.util.Iterator<Term> it, QuantifiableVariable var, TermServices services)