Minisat::DoubleOption Class Reference

#include <Options.h>

Inherits Minisat::Option.

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
	operator double & (void)
DoubleOption &	operator= (double x)
virtual bool	parse (const char *str)
virtual void	help (bool verbose=false)

Static Public Member Functions
static vec< Option * > &	getOptionList ()
static const char *&	getUsageString ()
static const char *&	getHelpPrefixString ()

Data Fields
const char *	name
const char *	description
const char *	category
const char *	type_name

Protected Attributes
DoubleRange	range
double	value

Detailed Description

Definition at line 121 of file Options.h.

Constructor & Destructor Documentation

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(n, d, c, "<double>"), range(r), value(def) {
        // FIXME: set LC_NUMERIC to "C" to make sure that strtof/strtod parses decimal point correctly.
    }

Member Function Documentation

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

inlinestaticinherited

Definition at line 58 of file Options.h.

{ static const char* help_prefix_str = ""; return help_prefix_str; }

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

inlinestaticinherited

Definition at line 56 of file Options.h.

{ static vec<Option*> options; return options; }

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

inlinestaticinherited

Definition at line 57 of file Options.h.

{ 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.

                                            {
        fprintf(stderr, "  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)\n", 
                name, type_name, 
                range.begin_inclusive ? '[' : '(', 
                range.begin,
                range.end,
                range.end_inclusive ? ']' : ')', 
                value);
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

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

inline

Definition at line 133 of file Options.h.

{ return value; }

Minisat::DoubleOption::operator double & ( void  )

inline

Definition at line 134 of file Options.h.

{ return value; }

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

inline

Definition at line 135 of file Options.h.

{ value = x; return *this; }

virtual bool Minisat::DoubleOption::parse ( const char *  str )

inlinevirtual

Implements Minisat::Option.

Definition at line 137 of file Options.h.

                                       {
        const char* span = str; 

        if (!match(span, "-") || !match(span, name) || !match(span, "="))
            return false;

        char*  end;
        double tmp = strtod(span, &end);

        if (end == NULL) 
            return false;
        else if (tmp >= range.end && (!range.end_inclusive || tmp != range.end)){
            fprintf(stderr, "ERROR! value <%s> is too large for option \"%s\".\n", span, name);
            exit(1);
        }else if (tmp <= range.begin && (!range.begin_inclusive || tmp != range.begin)){
            fprintf(stderr, "ERROR! value <%s> is too small for option \"%s\".\n", span, name);
            exit(1); }

        value = tmp;
        // fprintf(stderr, "READ VALUE: %g\n", value);

        return true;
    }

Field Documentation

const char* Minisat::Option::category

inherited

Definition at line 53 of file Options.h.

const char* Minisat::Option::description

inherited

Definition at line 52 of file Options.h.

const char* Minisat::Option::name

inherited

Definition at line 51 of file Options.h.

DoubleRange Minisat::DoubleOption::range

protected

Definition at line 124 of file Options.h.

const char* Minisat::Option::type_name

inherited

Definition at line 54 of file Options.h.

double Minisat::DoubleOption::value

protected

Definition at line 125 of file Options.h.

---

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

• Options.h