Minisat::Option Class Reference

#include <Options.h>

Inheritance diagram for Minisat::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
int	parseOptions (int &argc, char **argv, bool strict=false)
int	printUsageAndExit (int argc, char **argv, bool verbose=false)
void	setUsageHelp (const char *str)
void	setHelpPrefixStr (const char *str)

Detailed Description

Definition at line 50 of file Options.h.

Constructor & Destructor Documentation

Option()

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

inline

Definition at line 69 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 Minisat::Option::~Option ( )

inlinevirtual

Definition at line 82 of file Options.h.

{}

Member Function Documentation

getHelpPrefixString()

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

inlinestatic

Definition at line 60 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 * > & Minisat::Option::getOptionList ( )

inlinestatic

Definition at line 58 of file Options.h.

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

Here is the caller graph for this function:

getUsageString()

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

inlinestatic

Definition at line 59 of file Options.h.

{ static const char* usage_str; return usage_str; }

Here is the caller graph for this function:

help()

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

pure virtual

Implemented in Minisat::BoolOption, Minisat::DoubleOption, Minisat::IntOption, and Minisat::StringOption.

parse()

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

pure virtual

Implemented in Minisat::BoolOption, Minisat::DoubleOption, Minisat::IntOption, and Minisat::StringOption.

Friends And Related Symbol Documentation

parseOptions

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

friend

printUsageAndExit

int 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* Minisat::Option::category

Definition at line 55 of file Options.h.

description

const char* Minisat::Option::description

Definition at line 54 of file Options.h.

name

const char* Minisat::Option::name

Definition at line 53 of file Options.h.

type_name

const char* Minisat::Option::type_name

Definition at line 56 of file Options.h.

---

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

• src/sat/bsat2/Options.h