47 const std::string &
rate_prefix()
const {
return _rate_prefix; }
48 const std::string &
rate_suffix()
const {
return _rate_suffix; }
64 const std::string _buffer_name_separator;
67 const std::string _parameter_name_separator;
70 const std::string _history_separator;
73 const std::string _rate_prefix;
76 const std::string _rate_suffix;
79 const std::string _residual_prefix;
82 const std::string _residual_suffix;
85 const bool _require_double_precision;
88 const std::vector<std::string> _additional_libraries;
91 const bool _disable_jit;
94 const bool _linalg_solve_check_errors;