source/mir/util/RewindableIterator.java

   1 package mir.util;
   2
   3 import java.util.*;
   4
   5 public interface RewindableIterator extends Iterator {
   6   public void rewind();
   7 }