Package org.sosy_lab.java_smt.basicimpl

Class SMTLibTokenizer.TokenizerIterator

java.lang.Object

org.sosy_lab.java_smt.basicimpl.SMTLibTokenizer.TokenizerIterator

All Implemented Interfaces:

Iterator<String>

Enclosing class:

SMTLibTokenizer

public static final class SMTLibTokenizer.TokenizerIterator
extends Object
implements Iterator<String>

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
String	next()

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, remove

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<String>

next

public String next()

Specified by:

next in interface Iterator<String>