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

#include <Options.h>

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

Public Member Functions

 IntOption (const char *c, const char *n, const char *d, int32_t def=int32_t(), IntRange r=IntRange(INT_MIN, INT_MAX))
 
 operator int32_t (void) const
 
IntOption & operator= (int32_t 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

IntRange range
 
int32_t value
 
const char * name
 
const char * description
 
const char * category
 
const char * type_name
 

Detailed Description

Definition at line 196 of file Options.h.

Constructor & Destructor Documentation

◆ IntOption()

Minisat::IntOption::IntOption ( const char *  c,
const char *  n,
const char *  d,
int32_t  def = int32_t(),
IntRange  r = IntRange( INT_MIN, INT_MAX ) 
)
inline

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

Implements Minisat::Option.

Definition at line 221 of file Options.h.

◆ operator int32_t()

Minisat::IntOption::operator int32_t ( void  ) const
inline

Definition at line 210 of file Options.h.

◆ operator=()

IntOption& Minisat::IntOption::operator= ( int32_t  x)
inline

Definition at line 215 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.

◆ range

IntRange Minisat::IntOption::range
protected

Definition at line 200 of file Options.h.

◆ type_name

const char* Minisat::Option::type_name
protectedinherited

Definition at line 49 of file Options.h.

◆ value

int32_t Minisat::IntOption::value
protected

Definition at line 201 of file Options.h.

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