/**
* Provides an iterator pointing after the last APElement
* in the subset represented by the APMonom <i>m</i>.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
* @return the iterator.
*/
public static APMonom2APElements end(APSet ap_set, APMonom m)
{
APMonom2APElements m2e = new APMonom2APElements(ap_set, m);
m2e._end_marker = true;
return(m2e);
}
/** Add an edge. */
public void addEdge(APMonom label, NBA_State state)
{
APSet ap_set = _state.getGraph().getAPSet();
APMonom2APElements start = APMonom2APElements.begin(ap_set, label);
//for (APMonom2APElements it=APMonom2APElements::begin(ap_set, label);it!=APMonom2APElements::end(ap_set, label);++it)
while (!start.equal(APMonom2APElements.end(ap_set, label)))///////////////***********note sth wrong here don't skip sth extra
{
APElement it = start._cur_e;
addEdge(it, state);
start.increment();
}
}
/**
* Checks iterators for equality (used by the boost iterator base class).
*/
public bool equal(APMonom2APElements other)
{
return((this._end_marker == other._end_marker) && (this._end_marker || this._cur_e == other._cur_e));
}
/**
* Checks iterators for equality (used by the boost iterator base class).
*/
public bool equal(APMonom2APElements other)
{
return (this._end_marker == other._end_marker) && (this._end_marker || this._cur_e == other._cur_e);
}
/**
* Provides an iterator pointing after the last APElement
* in the subset represented by the APMonom <i>m</i>.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
* @return the iterator.
*/
public static APMonom2APElements end(APSet ap_set, APMonom m)
{
APMonom2APElements m2e = new APMonom2APElements(ap_set, m);
m2e._end_marker = true;
return m2e;
}
