Settings Class Reference

#include <Settings.h>

Public Member Functions
	Settings (const OptionSet &options)
const std::string &	buffer_name_separator () const
const std::string &	parameter_name_separator () const
bool	require_double_precision () const
const std::vector< std::string > &	additional_libraries () const
bool	disable_jit () const

Static Public Member Functions
static OptionSet	expected_options ()

Constructor & Destructor Documentation

Settings()

Settings

(

const OptionSet &

options

)

Member Function Documentation

additional_libraries()

const std::vector< std::string > & additional_libraries ( ) const

inline

buffer_name_separator()

const std::string & buffer_name_separator ( ) const

inline

Getters for the settings

disable_jit()

bool disable_jit ( ) const

inline

expected_options()

OptionSet expected_options ( )

static

parameter_name_separator()

const std::string & parameter_name_separator ( ) const

inline

require_double_precision()

bool require_double_precision ( ) const

inline