Minisat::Option Class Reference

#include <Options.h>

Inheritance diagram for Minisat::Option:

Data Structures
struct	OptionLt

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

Protected Member Functions
	Option (const char *name_, const char *desc_, const char *cate_, const char *type_)

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

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

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

Detailed Description

Definition at line 48 of file Options.h.

Constructor & Destructor Documentation

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

inlineprotected

Definition at line 67 of file Options.h.

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

Here is the call graph for this function:

virtual Minisat::Option::~Option ( )

inlinevirtual

Definition at line 80 of file Options.h.

{}

Member Function Documentation

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

inlinestaticprotected

Definition at line 58 of file Options.h.

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

Here is the caller graph for this function:

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

inlinestaticprotected

Definition at line 56 of file Options.h.

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

Here is the caller graph for this function:

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

inlinestaticprotected

Definition at line 57 of file Options.h.

{ static const char* usage_str; return usage_str; }

Here is the caller graph for this function:

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

pure virtual

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

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

pure virtual

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

Friends And Related Function Documentation

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

friend

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

friend

void setHelpPrefixStr ( const char *  str )

friend

void setUsageHelp ( const char *  str )

friend

Field Documentation

const char* Minisat::Option::category

protected

Definition at line 53 of file Options.h.

const char* Minisat::Option::description

protected

Definition at line 52 of file Options.h.

const char* Minisat::Option::name

protected

Definition at line 51 of file Options.h.

const char* Minisat::Option::type_name

protected

Definition at line 54 of file Options.h.

---

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

• Options.h