ConForM.CoopnTools.JavaProto.Transaction
Class PlaceIterator

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.Transaction.PlaceIterator
All Implemented Interfaces:
StateIterator

public class PlaceIterator
extends java.lang.Object
implements StateIterator


Method Summary
 void clear()
          "Unmarks" places previously marked by this iterator.
 java.lang.Object[] next()
          Gives the next tuple of objects
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

next

public java.lang.Object[] next()
Gives the next tuple of objects

clear

public void clear()
"Unmarks" places previously marked by this iterator.
Specified by:
clear in interface StateIterator