public class ExprPolyIterator extends java.lang.Object implements java.util.Iterator<ExprMonomial>
Modifier and Type | Field and Description |
---|---|
protected java.util.Iterator<java.util.Map.Entry<ExpVectorLong,IExpr>> |
ms
Internal iterator over polynomial map.
|
Constructor and Description |
---|
ExprPolyIterator(java.util.SortedMap<ExpVectorLong,IExpr> m)
Constructor of polynomial iterator.
|
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext()
Test for availability of a next monomial.
|
ExprMonomial |
next()
Get next monomial element.
|
void |
remove()
Remove the last monomial returned from underlying set if allowed.
|
protected final java.util.Iterator<java.util.Map.Entry<ExpVectorLong,IExpr>> ms
public ExprPolyIterator(java.util.SortedMap<ExpVectorLong,IExpr> m)
m
- SortetMap of a polynomial.public boolean hasNext()
hasNext
in interface java.util.Iterator<ExprMonomial>
public ExprMonomial next()
next
in interface java.util.Iterator<ExprMonomial>
public void remove()
remove
in interface java.util.Iterator<ExprMonomial>