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 |
HeuristicInstantiation.HIIterator(Iterator<Term> it,
QuantifiableVariable var,
TermServices services) |
private final QuantifiableVariable quantifiedVar
private final Sort quantifiedVarSort
private final Function quantifiedVarSortCast
private Term nextInst
private final TermServices services
private HeuristicInstantiation.HIIterator(Iterator<Term> it, QuantifiableVariable var, TermServices services)