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

#include <Options.h>

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

Public Member Functions

 DoubleOption (const char *c, const char *n, const char *d, double def=double(), DoubleRange r=DoubleRange(-HUGE_VAL, false, HUGE_VAL, false))
 
 operator double (void) const
 
DoubleOption & operator= (double 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

DoubleRange range
 
double value
 
const char * name
 
const char * description
 
const char * category
 
const char * type_name
 

Detailed Description

Definition at line 140 of file Options.h.

Constructor & Destructor Documentation

◆ DoubleOption()

Minisat::DoubleOption::DoubleOption ( const char *  c,
const char *  n,
const char *  d,
double  def = double(),
DoubleRange  r = DoubleRange( -HUGE_VAL, false, HUGE_VAL, false ) 
)
inline

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

Implements Minisat::Option.

Definition at line 174 of file Options.h.

◆ operator double()

Minisat::DoubleOption::operator double ( void  ) const
inline

Definition at line 163 of file Options.h.

◆ operator=()

DoubleOption& Minisat::DoubleOption::operator= ( double  x)
inline

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

DoubleRange Minisat::DoubleOption::range
protected

Definition at line 144 of file Options.h.

◆ type_name

const char* Minisat::Option::type_name
protectedinherited

Definition at line 49 of file Options.h.

◆ value

double Minisat::DoubleOption::value
protected

Definition at line 145 of file Options.h.

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