de.uka.ilkd.key.strategy.termgenerator

Class SubtermGenerator.RightIterator

java.lang.Object

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

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

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

SubtermGenerator

class SubtermGenerator.RightIterator
extends SubtermGenerator.SubIterator

Field Summary

Fields inherited from class de.uka.ilkd.key.strategy.termgenerator.SubtermGenerator.SubIterator

services, termStack

Constructor Summary

Constructors

Constructor and Description
RightIterator(Term t, Services services)

Method Summary

Modifier and Type	Method and Description
Term	next()
void	remove() throw an unsupported operation exception as generators do not remove

Methods inherited from class de.uka.ilkd.key.strategy.termgenerator.SubtermGenerator.SubIterator

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

Constructor Detail

RightIterator

public RightIterator(Term t,
                     Services services)

Method Detail

next

public Term next()

remove

public void remove()

throw an unsupported operation exception as generators do not remove