ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cmdlinet Class Reference

#include <cmdline.h>

Public Types

typedef std::vector< std::string > argst
typedef std::map< std::string, std::list< std::string > > options_mapt

Public Member Functions

bool parse (int argc, const char **argv, const struct group_opt_templ *opts)
 opts must have static storage duration and is parsed at most once.
const char * getval (const char *option) const
const std::list< std::string > & get_values (const char *option) const
bool isset (const char *option) const
void clear ()
 cmdlinet ()
 ~cmdlinet ()

Public Attributes

argst args
boost::program_options::variables_map vm
unsigned m_term_width
boost::program_options::options_description cmdline_options
options_mapt options_map

Member Typedef Documentation

◆ argst

typedef std::vector<std::string> cmdlinet::argst

◆ options_mapt

typedef std::map<std::string, std::list<std::string> > cmdlinet::options_mapt

Constructor & Destructor Documentation

◆ cmdlinet()

cmdlinet::cmdlinet ( )

◆ ~cmdlinet()

cmdlinet::~cmdlinet ( )

Member Function Documentation

◆ clear()

void cmdlinet::clear ( )

◆ get_values()

const std::list< std::string > & cmdlinet::get_values ( const char * option) const

◆ getval()

const char * cmdlinet::getval ( const char * option) const

◆ isset()

bool cmdlinet::isset ( const char * option) const

◆ parse()

bool cmdlinet::parse ( int argc,
const char ** argv,
const struct group_opt_templ * opts )

opts must have static storage duration and is parsed at most once.

Member Data Documentation

◆ args

argst cmdlinet::args

◆ cmdline_options

boost::program_options::options_description cmdlinet::cmdline_options

◆ m_term_width

unsigned cmdlinet::m_term_width

◆ options_map

options_mapt cmdlinet::options_map

◆ vm

boost::program_options::variables_map cmdlinet::vm

The documentation for this class was generated from the following files: