52 const std::string _buffer_name_separator;
55 const std::string _parameter_name_separator;
58 const bool _require_double_precision;
61 const std::vector<std::string> _additional_libraries;
64 const bool _disable_jit;
A custom map-like data structure. The keys are strings, and the values can be nonhomogeneously typed.
Definition OptionSet.h:51
bool disable_jit() const
Definition Settings.h:47
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:73
const std::string & buffer_name_separator() const
Definition Settings.h:43
Definition DiagnosticsInterface.cxx:30