SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Static Protected Member Functions | Protected Attributes | Private Attributes
Minisat::StringOption Class Reference

#include <Options.h>

Inheritance diagram for Minisat::StringOption:
Inheritance graph
[legend]
Collaboration diagram for Minisat::StringOption:
Collaboration graph
[legend]

Public Member Functions

 StringOption (const char *c, const char *n, const char *d, const char *def=NULL)
 
 operator const char * (void) const
 
StringOption & operator= (const char *x)
 
virtual void help (bool verbose=false)
 

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
 

Private Attributes

const char * value
 

Detailed Description

Definition at line 247 of file Options.h.

Constructor & Destructor Documentation

◆ StringOption()

Minisat::StringOption::StringOption ( const char *  c,
const char *  n,
const char *  d,
const char *  def = NULL 
)
inline

Definition at line 253 of file Options.h.

Member Function Documentation

◆ getHelpPrefixString()

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

Definition at line 63 of file Options.h.

Here is the caller graph for this function:

◆ getOptionList()

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

Definition at line 51 of file Options.h.

Here is the caller graph for this function:

◆ getUsageString()

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

Definition at line 57 of file Options.h.

Here is the caller graph for this function:

◆ help()

virtual void Minisat::StringOption::help ( bool  verbose = false)
inlinevirtual

Implements Minisat::Option.

Definition at line 269 of file Options.h.

◆ operator const char *()

Minisat::StringOption::operator const char * ( void  ) const
inline

Definition at line 258 of file Options.h.

◆ operator=()

StringOption& Minisat::StringOption::operator= ( const char *  x)
inline

Definition at line 263 of file Options.h.

Field Documentation

◆ category

const char* Minisat::Option::category
protectedinherited

Definition at line 48 of file Options.h.

◆ description

const char* Minisat::Option::description
protectedinherited

Definition at line 47 of file Options.h.

◆ name

const char* Minisat::Option::name
protectedinherited

Definition at line 46 of file Options.h.

◆ type_name

const char* Minisat::Option::type_name
protectedinherited

Definition at line 49 of file Options.h.

◆ value

const char* Minisat::StringOption::value
private

Definition at line 250 of file Options.h.

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