variable_sensitivity_configuration.cpp File Reference

Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc. More...

#include "variable_sensitivity_configuration.h"
#include <util/exception_utils.h>
#include <util/options.h>
#include <limits>

Include dependency graph for variable_sensitivity_configuration.cpp:

Go to the source code of this file.

Functions
static void	check_one_of_options (const optionst &options, const std::vector< std::string > &names)
template<class mappingt >
invalid_command_line_argument_exceptiont	invalid_argument (const std::string &option_name, const std::string &bad_argument, const mappingt &mapping)

Detailed Description

Captures the user-supplied configuration for VSD, determining which domain abstractions are used, flow sensitivity, etc.

Definition in file variable_sensitivity_configuration.cpp.

Function Documentation

check_one_of_options()

void check_one_of_options ( const optionst &  options, const std::vector< std::string > &  names  )

static

Definition at line 189 of file variable_sensitivity_configuration.cpp.

invalid_argument()

template<class mappingt >

invalid_command_line_argument_exceptiont invalid_argument	(	const std::string &	option_name,
		const std::string &	bad_argument,
		const mappingt &	mapping
	)

Definition at line 123 of file variable_sensitivity_configuration.cpp.