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 private
ClauseIterator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasNext()
java.lang.Integer
next()
void
remove()
-
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interfacejava.util.Iterator<java.lang.Integer>
-
next
public java.lang.Integer next()
- Specified by:
next
in interfacejava.util.Iterator<java.lang.Integer>
-
remove
public void remove()
- Specified by:
remove
in interfacejava.util.Iterator<java.lang.Integer>
-
-