Minisat::BoolOption Class Reference

#include <Options.h>

Inheritance diagram for Minisat::BoolOption:

Collaboration diagram for Minisat::BoolOption:

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)
Public Member Functions inherited from Minisat::Option
	Option (const char *name_, const char *desc_, const char *cate_, const char *type_)
virtual	~Option ()

Additional Inherited Members
Static Public Member Functions inherited from Minisat::Option
static vec< Option * > &	getOptionList ()
static const char *&	getUsageString ()
static const char *&	getHelpPrefixString ()
Public Attributes inherited from Minisat::Option
const char *	name
const char *	description
const char *	category
const char *	type_name

Detailed Description

Definition at line 344 of file Options.h.

Constructor & Destructor Documentation

BoolOption()

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

inline

Definition at line 349 of file Options.h.

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

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

help()

virtual void Minisat::BoolOption::help ( bool verbose = false )

inlinevirtual

Implements Minisat::Option.

Definition at line 370 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");
        }
    }

Here is the call graph for this function:

operator bool()

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

inline

Definition at line 352 of file Options.h.

{ return value; }

operator bool &()

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

inline

Definition at line 353 of file Options.h.

{ return value; }

operator=()

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

inline

Definition at line 354 of file Options.h.

{ value = b; return *this; }

Here is the call graph for this function:

parse()

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

inlinevirtual

Implements Minisat::Option.

Definition at line 356 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;
    }

Here is the call graph for this function:

---

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

• src/sat/bsat2/Options.h