public EnumeratedTypeSet(Iterator<TType> types,TypeSetEnvironment typeSetEnvironment){
  super(typeSetEnvironment);
  while (types.hasNext()) {
    fMembers.add(types.next());
  }
  sCount++;
}

public EnumeratedTypeSet ( Iterator < TType > types , TypeSetEnvironment typeSetEnvironment ) { super ( typeSetEnvironment ) ; while ( types . hasNext ( ) ) { fMembers . add ( types . next ( ) ) ; } sCount ++ ; }
constructs a new enumeratedtypeset with the members of set s in it . all elements of s must be ttypes .
