Minisat::BoolOption Class Reference

#include <Options.h>

Inherits Minisat::Option.

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

Private Attributes
bool	value

Detailed Description

Definition at line 342 of file Options.h.

Constructor & Destructor Documentation

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

inline

Definition at line 347 of file Options.h.

        : Option(n, d, c, "<bool>"), value(v) {}

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::BoolOption::help ( bool  verbose = false )

inlinevirtual

Implements Minisat::Option.

Definition at line 368 of file Options.h.

                                            {

        fprintf(stderr, "  -%s, -no-%s", name, name);

        for (uint32_t i = 0; i < 32 - strlen(name)*2; i++)
            fprintf(stderr, " ");

        fprintf(stderr, " ");
        fprintf(stderr, "(default: %s)\n", value ? "on" : "off");
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

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

inline

Definition at line 350 of file Options.h.

{ return value; }

Minisat::BoolOption::operator bool & ( void  )

inline

Definition at line 351 of file Options.h.

{ return value; }

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

inline

Definition at line 352 of file Options.h.

{ value = b; return *this; }

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

inlinevirtual

Implements Minisat::Option.

Definition at line 354 of file Options.h.

                                       {
        const char* span = str; 
        
        if (match(span, "-")){
            bool b = !match(span, "no-");

            if (strcmp(span, name) == 0){
                value = b;
                return true; }
        }

        return false;
    }

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.

const char* Minisat::Option::type_name

inherited

Definition at line 54 of file Options.h.

bool Minisat::BoolOption::value

private

Definition at line 344 of file Options.h.

---

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

• Options.h