18extern void write_file(
const std::vector<double>& time,
const std::vector<Eigen::MatrixXd>& values,
const std::vector<std::string>& headers,
const std::string& filename);
void write_file(const std::vector< double > &time, const std::vector< Eigen::MatrixXd > &values, const std::vector< std::string > &headers, const std::string &filename)
Writes time-series matrix data to a CSV file.
Definition Writer.cpp:7