de.uka.ilkd.key.strategy.termgenerator

Class SubtermGenerator.SubIterator

java.lang.Object

de.uka.ilkd.key.strategy.termgenerator.SubtermGenerator.SubIterator

All Implemented Interfaces:

java.util.Iterator<Term>

Direct Known Subclasses:

SubtermGenerator.LeftIterator, SubtermGenerator.RightIterator

Enclosing class:

SubtermGenerator

abstract class SubtermGenerator.SubIterator
extends java.lang.Object
implements java.util.Iterator<Term>

Field Summary

Fields

Modifier and Type	Field and Description
protected Services	services
protected ImmutableList<Term>	termStack

Constructor Summary

Constructors

Constructor and Description
SubIterator(Term t, Services services)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()

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, next, remove

Field Detail

termStack

protected ImmutableList<Term> termStack

services

protected final Services services

Constructor Detail

SubIterator

public SubIterator(Term t,
                   Services services)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Term>