64-bit floating point real vector. More...
#include <Vector.h>
Vector is an alias for DVector. It is a template instantiation of GenericVector for double.
double