public class ExpVectorIterable extends java.lang.Object implements java.lang.Iterable<ExpVector>
| Modifier and Type | Field and Description |
|---|---|
protected long |
upperBound |
| Constructor and Description |
|---|
ExpVectorIterable(int nv)
Constructor.
|
ExpVectorIterable(int nv,
boolean all,
long ub)
Constructor.
|
ExpVectorIterable(int nv,
long ub)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
long |
getUpperBound()
Get the upper bound for the iterator.
|
java.util.Iterator<ExpVector> |
iterator()
Get an iterator over ExpVector.
|
void |
setUpperBound(long ub)
Set the upper bound for the iterator.
|
protected long upperBound
public ExpVectorIterable(int nv)
nv - number of variables.public ExpVectorIterable(int nv, long ub)
nv - number of variables.ub - upper bound for the components.public ExpVectorIterable(int nv, boolean all, long ub)
nv - number of variables.all - true, if all elements between 0 and upper bound are enumerated,
false, if only elements of exact upper bund are to be processed.ub - upper bound for the components.public void setUpperBound(long ub)
ub - an upper bound for the iterator elements.public long getUpperBound()