/**
* Increment the iterator (used by the boost iterator base class).
*/
public void increment()
{
//BitSet set_mask = new BitSet(_m.getSetBits());
BitSet set_mask = _m.getSetBits().getBitSetObject();
int i = set_mask.nextClearBit(0);
while (i < _ap_set.size())
{
if (_cur_e.get(i) == false)
{
_cur_e.set(i, true);
return;
}
else
{
_cur_e.set(i, false);
i = set_mask.nextClearBit(i + 1);
}
}
// overflow -> end
_end_marker = true;
}
