public IntegerSetEnumerator(IntegerSet set)
 {
     this.set = set;
     this.pos = -1;
 }