Method convertDoubleArrayToString

src/proofs/JsonWriter.cpp:346–355

}

String JsonWriter::convertDoubleArrayToString( const double *arr, unsigned size )
{
    String arrString = "[";
    for ( unsigned i = 0; i < size - 1; ++i )
        arrString += convertDoubleToString( arr[i] ) + ", ";

    arrString += convertDoubleToString( arr[size - 1] ) + "]";

    return arrString;
}

String JsonWriter::convertSparseUnsortedListToString( SparseUnsortedList sparseList )
{