public void Dispose() { collection = null; nIndex = -1; }
public MyEnumerator(LiteralSet coll) { collection = coll; nIndex = -1; }