class DoubleVector implements java.io.Serializable {

    public double[] getArrayRef() {
        return this.doubleArray;
    }

    public  DoubleVector();
    public  DoubleVector(double[] toCopy);
    public  DoubleVector(DoubleVector toCopy);

}