de.uka.ilkd.key.strategy.quantifierHeuristics

Class HeuristicInstantiation.HIIterator

java.lang.Object

de.uka.ilkd.key.strategy.quantifierHeuristics.HeuristicInstantiation.HIIterator

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

HeuristicInstantiation

private class HeuristicInstantiation.HIIterator
extends java.lang.Object
implements java.util.Iterator<Term>

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
private	HIIterator(java.util.Iterator<Term> it, QuantifiableVariable var, TermServices services)

Method Summary

Modifier and Type	Method and Description
private void	findNextInst()
boolean	hasNext()
Term	next()
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

Field Detail

instances

private final java.util.Iterator<Term> instances

quantifiedVar

private final QuantifiableVariable quantifiedVar

quantifiedVarSort

private final Sort quantifiedVarSort

quantifiedVarSortCast

private final Function quantifiedVarSortCast

nextInst

private Term nextInst

services

private final TermServices services

Constructor Detail

HIIterator

private HIIterator(java.util.Iterator<Term> it,
                   QuantifiableVariable var,
                   TermServices services)

Method Detail

findNextInst

private void findNextInst()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Term>

next

public Term next()

Specified by:

next in interface java.util.Iterator<Term>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Term>