- java.lang.Object
-
- de.uka.ilkd.key.logic.PosInTerm.PiTIterator
-
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Method Detail
-
next
public int next()
- Specified by:
next
in interface IntIterator
- Returns:
- Integer the next element of collection
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interface IntIterator
- Returns:
- boolean true iff collection has more unseen elements
Copyright © 2003-2019 The KeY-Project.