de.uka.ilkd.key.strategy.termgenerator

Class AllowedCutPositionsGenerator.ACPIterator

java.lang.Object

de.uka.ilkd.key.strategy.termgenerator.AllowedCutPositionsGenerator.ACPIterator

All Implemented Interfaces:

Iterator<Term>

Enclosing class:

AllowedCutPositionsGenerator

private static class AllowedCutPositionsGenerator.ACPIterator
extends Object
implements Iterator<Term>

Field Summary

Fields

Modifier and Type	Field and Description
private Stack<Object>	termStack

Constructor Summary

Constructors

Constructor and Description
ACPIterator(Term t, boolean negated)

Method Summary

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

termStack

private final Stack<Object> termStack

Constructor Detail

ACPIterator

public ACPIterator(Term t,
                   boolean negated)

Method Detail

push

private void push(Term t,
                  boolean negated)

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Term>

next

public Term next()

Specified by:

next in interface Iterator<Term>

remove

public void remove()

Specified by:

remove in interface Iterator<Term>