protected internal override void fact_release(ResultSequence rs)
{
int new_pos = _head_pos + 1;
if (new_pos < POOL_SIZE)
{
rs.clear();
_head_pos = new_pos;
_rs_pool[new_pos] = rs;
}
}
/// <summary>
/// clear range
/// </summary>
public override void clear()
{
_size = 0;
_tail.clear();
}
