class DoubleVector implements java.io.Serializable {

    public void addToValue(int index, double value) {
        if (index >= doubleArray.length) {
            this.doubleArray = Doubles.ensureCapacity(this.doubleArray, index + 1, 0);
        }
        this.doubleArray[index] += value;
    }

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

}