Package org.jacop.jasat.core.clauses
Class MapClause.ClauseIterator
- java.lang.Object
-
- org.jacop.jasat.core.clauses.MapClause.ClauseIterator
-
- All Implemented Interfaces:
java.util.Iterator<java.lang.Integer>
- Enclosing class:
- MapClause
private final class MapClause.ClauseIterator extends java.lang.Object implements java.util.Iterator<java.lang.Integer>
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Iterator<java.lang.Integer>it
-
Constructor Summary
Constructors Modifier Constructor Description privateClauseIterator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanhasNext()java.lang.Integernext()voidremove()
-
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNextin interfacejava.util.Iterator<java.lang.Integer>
-
next
public java.lang.Integer next()
- Specified by:
nextin interfacejava.util.Iterator<java.lang.Integer>
-
remove
public void remove()
- Specified by:
removein interfacejava.util.Iterator<java.lang.Integer>
-
-