SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures | Public Member Functions | Protected Member Functions | Static Protected Member Functions | Protected Attributes | Friends
Minisat::Option Class Referenceabstract

#include <Options.h>

Inheritance diagram for Minisat::Option:
Inheritance graph
[legend]

Data Structures

struct  OptionLt
 

Public Member Functions

virtual ~Option ()
 
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 printUsageAndExit (int argc, char **argv, bool verbose)
 
void setUsageHelp (const char *str)
 
void setHelpPrefixStr (const char *str)
 

Detailed Description

Definition at line 43 of file Options.h.

Constructor & Destructor Documentation

◆ Option()

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

Definition at line 78 of file Options.h.

Here is the call graph for this function:

◆ ~Option()

virtual Minisat::Option::~Option ( )
inlinevirtual

Definition at line 88 of file Options.h.

Member Function Documentation

◆ getHelpPrefixString()

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

Definition at line 63 of file Options.h.

Here is the caller graph for this function:

◆ getOptionList()

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

Definition at line 51 of file Options.h.

Here is the caller graph for this function:

◆ getUsageString()

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

Definition at line 57 of file Options.h.

Here is the caller graph for this function:

◆ help()

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

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

Friends And Related Function Documentation

◆ printUsageAndExit

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

◆ setHelpPrefixStr

void setHelpPrefixStr ( const char *  str)
friend

◆ setUsageHelp

void setUsageHelp ( const char *  str)
friend

Field Documentation

◆ category

const char* Minisat::Option::category
protected

Definition at line 48 of file Options.h.

◆ description

const char* Minisat::Option::description
protected

Definition at line 47 of file Options.h.

◆ name

const char* Minisat::Option::name
protected

Definition at line 46 of file Options.h.

◆ type_name

const char* Minisat::Option::type_name
protected

Definition at line 49 of file Options.h.

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