Minisat::StringOption Class Reference

#include <Options.h>

Inheritance diagram for Minisat::StringOption:

Collaboration diagram for Minisat::StringOption:

Public Member Functions
	StringOption (const char *c, const char *n, const char *d, const char *def=NULL)
	operator const char * (void) const
	operator const char *& (void)
StringOption &	operator= (const char *x)
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 309 of file Options.h.

Constructor & Destructor Documentation

StringOption()

Minisat::StringOption::StringOption ( const char * c, const char * n, const char * d, const char * def = NULL )

inline

Definition at line 313 of file Options.h.

        : Option(n, d, c, "<string>"), value(def) {}

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

help()

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

inlinevirtual

Implements Minisat::Option.

Definition at line 330 of file Options.h.

                                            {
        fprintf(stderr, "  -%-10s = %8s\n", name, type_name);
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }    

operator const char *()

Minisat::StringOption::operator const char * ( void ) const

inline

Definition at line 316 of file Options.h.

{ return value; }

operator const char *&()

Minisat::StringOption::operator const char *& ( void )

inline

Definition at line 317 of file Options.h.

{ return value; }

operator=()

StringOption & Minisat::StringOption::operator= ( const char * x )

inline

Definition at line 318 of file Options.h.

{ value = x; return *this; }

Here is the call graph for this function:

parse()

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

inlinevirtual

Implements Minisat::Option.

Definition at line 320 of file Options.h.

                                       {
        const char* span = str; 
 
        if (!match(span, "-") || !match(span, name) || !match(span, "="))
            return false;
 
        value = span;
        return true;
    }

---

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

• src/sat/bsat2/Options.h