With Romain and Manu, IVec is now Iterable

org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java

@@ -31,7 +31,6 @@ package org.sat4j.specs;
 
 import java.io.Serializable;
 import java.util.Comparator;
-import java.util.Iterator;
 import java.util.NoSuchElementException;
 
 /**
@@ -39,7 +38,7 @@ import java.util.NoSuchElementException;
  * 
  * @author leberre
  */
-public interface IVec<T> extends Serializable, Cloneable {
+public interface IVec<T> extends Serializable, Cloneable, Iterable<T> {
 
     /**
      * @return the number of elements contained in the vector
@@ -211,8 +210,6 @@ public interface IVec<T> extends Serializable, Cloneable {
      */
     boolean isEmpty();
 
-    Iterator<T> iterator();
-
     /**
      * 
      * @param element