void Vec_dhSetRand(Vec_dh v)
void Vec_dhCopy(Vec_dh x, Vec_dh y)
void Vec_dhDestroy(Vec_dh v)
void Vec_dhSet(Vec_dh v, double value)
void Vec_dhDuplicate(Vec_dh v, Vec_dh *out)
void Vec_dhInit(Vec_dh v, int size)
void Vec_dhPrint(Vec_dh v, SubdomainGraph_dh sg, char *filename)
void Vec_dhReadBIN(Vec_dh *vout, char *filename)
void Vec_dhRead(Vec_dh *vout, int ignore, char *filename)
void Vec_dhCreate(Vec_dh *v)
void Vec_dhPrintBIN(Vec_dh v, SubdomainGraph_dh sg, char *filename)