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>