de.uka.ilkd.key.strategy.termgenerator

Class AllowedCutPositionsGenerator.ACPIterator

java.lang.Object

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

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

AllowedCutPositionsGenerator

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

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Stack<java.lang.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 java.util.Stack<java.lang.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 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>