#include <Options.h>
Definition at line 121 of file Options.h.
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 128 of file Options.h.
Option(const char *name_, const char *desc_, const char *cate_, const char *type_)
static const char*& Minisat::Option::getHelpPrefixString |
( |
| ) |
|
|
inlinestaticprotectedinherited |
Definition at line 58 of file Options.h.
58 {
static const char* help_prefix_str =
"";
return help_prefix_str; }
static vec<Option*>& Minisat::Option::getOptionList |
( |
| ) |
|
|
inlinestaticprotectedinherited |
Definition at line 56 of file Options.h.
56 {
static vec<Option*> options;
return options; }
static const char*& Minisat::Option::getUsageString |
( |
| ) |
|
|
inlinestaticprotectedinherited |
Definition at line 57 of file Options.h.
57 {
static const char* usage_str;
return usage_str; }
virtual void Minisat::DoubleOption::help |
( |
bool |
verbose = false | ) |
|
|
inlinevirtual |
Implements Minisat::Option.
Definition at line 161 of file Options.h.
162 fprintf(stderr,
" -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)\n",
171 fprintf(stderr,
"\n");
Minisat::DoubleOption::operator double |
( |
void |
| ) |
const |
|
inline |
Minisat::DoubleOption::operator double & |
( |
void |
| ) |
|
|
inline |
virtual bool Minisat::DoubleOption::parse |
( |
const char * |
str | ) |
|
|
inlinevirtual |
Implements Minisat::Option.
Definition at line 137 of file Options.h.
138 const char* span = str;
144 double tmp = strtod(span, &end);
149 fprintf(stderr,
"ERROR! value <%s> is too large for option \"%s\".\n", span,
name);
152 fprintf(stderr,
"ERROR! value <%s> is too small for option \"%s\".\n", span,
name);
static bool match(B &in, const char *str)
const char* Minisat::Option::category |
|
protectedinherited |
const char* Minisat::Option::description |
|
protectedinherited |
const char* Minisat::Option::name |
|
protectedinherited |
const char* Minisat::Option::type_name |
|
protectedinherited |
double Minisat::DoubleOption::value |
|
protected |
The documentation for this class was generated from the following file: