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::BoolOption Class Reference

#include <Options.h>

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

Public Member Functions

 BoolOption (const char *c, const char *n, const char *d, bool v)
 
 operator bool (void) const
 
BoolOption & operator= (bool b)
 
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

bool value
 

Detailed Description

Definition at line 283 of file Options.h.

Constructor & Destructor Documentation

◆ BoolOption()

Minisat::BoolOption::BoolOption ( const char *  c,
const char *  n,
const char *  d,
bool  v 
)
inline

Definition at line 289 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::BoolOption::help ( bool  verbose = false)
inlinevirtual

Implements Minisat::Option.

Definition at line 305 of file Options.h.

◆ operator bool()

Minisat::BoolOption::operator bool ( void  ) const
inline

Definition at line 294 of file Options.h.

◆ operator=()

BoolOption& Minisat::BoolOption::operator= ( bool  b)
inline

Definition at line 299 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

bool Minisat::BoolOption::value
private

Definition at line 286 of file Options.h.

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