import java.util.Vector;
import java.util.Enumeration;

public class DoubleEnumeration {

    Enumeration E;
    
    public DoubleEnumeration(Vector V){E=V.elements();}
    public boolean hasMoreElements(){return E.hasMoreElements();}
    public double nextElement(){return ((Double)E.nextElement()).doubleValue();}
}