class DoubleVector implements java.io.Serializable {

    public double[] getArrayCopy() {
        return Doubles.concat(this.doubleArray);
    }

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

}