---

eHashSet.java

package gov.nasa.arc.ase.jpf.jvm.runtime;

import gov.nasa.arc.ase.jpf.*;
import java.util.*;
import gov.nasa.arc.ase.util.Debug;


public class eHashSet extends HashSet{
//#endif RACE
// ifdef RACE
  public Object choose(){
    Object elem = iterator().next();
    remove(elem);
    return elem;
  }  
  public boolean overlaps(eHashSet set){
    Iterator set_it = set.iterator();
    while (set_it.hasNext()){
      if (contains(set_it.next())) return true;
    };
    return false;
  }  
  public void print(){
    Iterator set_it = iterator();
    while (set_it.hasNext()){
      ((DESCR)set_it.next()).print();
      Debug.print(Debug.ERROR, " ");
    };   
  }  
  public void union(eHashSet set){
    Iterator set_it = set.iterator();
    while (set_it.hasNext()){
      add(set_it.next());
    }
  }  
}

---