nl.cwi.sen1.tide.tool.support
Class ExprIterator

java.lang.Object
  nl.cwi.sen1.tide.tool.support.ExprIterator

All Implemented Interfaces:

java.util.Iterator<Expr>

 class ExprIterator
extends java.lang.Object
implements java.util.Iterator<Expr>

Field Summary

private aterm.ATerm

term

Constructor Summary

ExprIterator(aterm.ATerm term)

Method Summary

boolean	hasNext()
Expr	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

term

private aterm.ATerm term

Constructor Detail

ExprIterator

public ExprIterator(aterm.ATerm term)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Expr>

next

public Expr next()

Specified by:

next in interface java.util.Iterator<Expr>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Expr>