Gluco2::Option Class Reference

#include <Options.h>

Inheritance diagram for Gluco2::Option:

Classes
struct	OptionLt

Public Member Functions
	Option (const char *name_, const char *desc_, const char *cate_, const char *type_)
virtual	~Option ()
virtual bool	parse (const char *str)=0
virtual void	help (bool verbose=false)=0

Static Public Member Functions
static vec< Option * > &	getOptionList ()
static const char *&	getUsageString ()
static const char *&	getHelpPrefixString ()

Public Attributes
const char *	name
const char *	description
const char *	category
const char *	type_name

Friends
void	parseOptions (int &argc, char **argv, bool strict=false)
void	printUsageAndExit (int argc, char **argv, bool verbose=false)
void	setUsageHelp (const char *str)
void	setHelpPrefixStr (const char *str)

Detailed Description

Definition at line 52 of file Options.h.

Constructor & Destructor Documentation

Option()

Gluco2::Option::Option ( const char * name_, const char * desc_, const char * cate_, const char * type_ )

inline

Definition at line 71 of file Options.h.

                              : 
      name       (name_)
    , description(desc_)
    , category   (cate_)
    , type_name  (type_)
    { 
        getOptionList().push(this); 
    }

Here is the call graph for this function:

Here is the caller graph for this function:

~Option()

virtual Gluco2::Option::~Option ( )

inlinevirtual

Definition at line 84 of file Options.h.

{}

Member Function Documentation

getHelpPrefixString()

static const char *& Gluco2::Option::getHelpPrefixString ( )

inlinestatic

Definition at line 62 of file Options.h.

{ static const char* help_prefix_str = ""; return help_prefix_str; }

Here is the caller graph for this function:

getOptionList()

static vec< Option * > & Gluco2::Option::getOptionList ( )

inlinestatic

Definition at line 60 of file Options.h.

{ static vec<Option*> options; return options; }

Here is the caller graph for this function:

getUsageString()

static const char *& Gluco2::Option::getUsageString ( )

inlinestatic

Definition at line 61 of file Options.h.

{ static const char* usage_str; return usage_str; }

Here is the caller graph for this function:

help()

virtual void Gluco2::Option::help ( bool verbose = false )

pure virtual

Implemented in Gluco2::BoolOption, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, and Gluco2::StringOption.

parse()

virtual bool Gluco2::Option::parse ( const char * str )

pure virtual

Implemented in Gluco2::BoolOption, Gluco2::DoubleOption, Gluco2::Int64Option, Gluco2::IntOption, and Gluco2::StringOption.

Friends And Related Symbol Documentation

parseOptions

void parseOptions ( int & argc, char ** argv, bool strict = false )

friend

printUsageAndExit

void printUsageAndExit ( int argc, char ** argv, bool verbose = false )

friend

setHelpPrefixStr

void setHelpPrefixStr ( const char * str )

friend

setUsageHelp

void setUsageHelp ( const char * str )

friend

Member Data Documentation

category

const char* Gluco2::Option::category

Definition at line 57 of file Options.h.

description

const char* Gluco2::Option::description

Definition at line 56 of file Options.h.

name

const char* Gluco2::Option::name

Definition at line 55 of file Options.h.

type_name

const char* Gluco2::Option::type_name

Definition at line 58 of file Options.h.

---

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

• src/sat/glucose2/Options.h