51 const std::string _buffer_name_separator;
54 const std::string _parameter_name_separator;
57 const bool _require_double_precision;
60 const std::vector<std::string> _additional_libraries;
A custom map-like data structure. The keys are strings, and the values can be nonhomogeneously typed.
Definition OptionSet.h:51
const std::vector< std::string > & additional_libraries() const
Definition Settings.h:46
const std::string & parameter_name_separator() const
Definition Settings.h:44
bool require_double_precision() const
Definition Settings.h:45
static OptionSet expected_options()
Definition Settings.cxx:32
Settings(const OptionSet &options)
Definition Settings.cxx:66
const std::string & buffer_name_separator() const
Definition Settings.h:43
Definition DiagnosticsInterface.cxx:29