/** * 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; }