Loading...

Searching...

No Matches

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:

Functions

template<class mappingt >

Detailed Description

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

void check_one_of_options ( const optionst & options,

const std::vector< std::string > & names

)

static

template<class mappingt >

invalid_command_line_argument_exceptiont invalid_argument ( const std::string & option_name,

const std::string & bad_argument,

const mappingt & mapping

)