de.uka.ilkd.key.strategy.feature.instantiator

Class ForEachCP.CP.BranchIterator

java.lang.Object

de.uka.ilkd.key.strategy.feature.instantiator.ForEachCP.CP.BranchIterator

All Implemented Interfaces:

Iterator<CPBranch>

Enclosing class:

ForEachCP.CP

private final class ForEachCP.CP.BranchIterator
extends Object
implements Iterator<CPBranch>

Field Summary

Fields

Modifier and Type	Field and Description
private RuleApp	oldApp
private Iterator<Term>	terms

Constructor Summary

Constructors

Modifier	Constructor and Description
private	BranchIterator(Iterator<Term> terms, RuleApp oldApp)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
CPBranch	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

terms

private final Iterator<Term> terms

oldApp

private final RuleApp oldApp

Constructor Detail

BranchIterator

private BranchIterator(Iterator<Term> terms,
                       RuleApp oldApp)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<CPBranch>

next

public CPBranch next()

Specified by:

next in interface Iterator<CPBranch>

remove

public void remove()

Specified by:

remove in interface Iterator<CPBranch>