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

Class OneOfCP.CP.BranchIterator

java.lang.Object

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

All Implemented Interfaces:

java.util.Iterator<CPBranch>

Enclosing class:

OneOfCP.CP

private final class OneOfCP.CP.BranchIterator
extends java.lang.Object
implements java.util.Iterator<CPBranch>

Field Summary

Fields

Modifier and Type	Field and Description
private int	num
private RuleApp	oldApp

Constructor Summary

Constructors

Constructor and Description
BranchIterator(RuleApp oldApp)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
CPBranch	next()
void	remove() throws an unsupported operation exception

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

num

private int num

oldApp

private final RuleApp oldApp

Constructor Detail

BranchIterator

public BranchIterator(RuleApp oldApp)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<CPBranch>

next

public CPBranch next()

Specified by:

next in interface java.util.Iterator<CPBranch>

remove

public void remove()

throws an unsupported operation exception

Specified by:

remove in interface java.util.Iterator<CPBranch>