de.uka.ilkd.key.proof

Class SubtreeIterator

java.lang.Object

de.uka.ilkd.key.proof.SubtreeIterator

All Implemented Interfaces:

java.util.Iterator<Node>

class SubtreeIterator
extends java.lang.Object
implements java.util.Iterator<Node>

Iterator over subtree. Current implementation iteratively traverses the tree depth-first.

Author:

bruns

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	atRoot
private Node	n
private Node	root

Constructor Summary

Constructors

Constructor and Description
SubtreeIterator(Node root)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Node	next()
private Node	nextSibling(Node m)
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

root

private final Node root

n

private Node n

atRoot

private boolean atRoot

Constructor Detail

SubtreeIterator

SubtreeIterator(Node root)

Method Detail

nextSibling

private Node nextSibling(Node m)

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Node>

next

public Node next()

Specified by:

next in interface java.util.Iterator<Node>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Node>