Gluco::Int64Option Class Reference

#include <Options.h>

Inheritance diagram for Gluco::Int64Option:

Collaboration diagram for Gluco::Int64Option:

Public Member Functions
	Int64Option (const char *c, const char *n, const char *d, int64_t def=int64_t(), Int64Range r=Int64Range(INT64_MIN, INT64_MAX))
	operator int64_t (void) const
	operator int64_t & (void)
Int64Option &	operator= (int64_t x)
virtual bool	parse (const char *str)
virtual void	help (bool verbose=false)
Public Member Functions inherited from Gluco::Option
	Option (const char *name_, const char *desc_, const char *cate_, const char *type_)
virtual	~Option ()

Protected Attributes
Int64Range	range
int64_t	value

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

Detailed Description

Definition at line 247 of file Options.h.

Constructor & Destructor Documentation

Int64Option()

Gluco::Int64Option::Int64Option ( const char * c, const char * n, const char * d, int64_t def = int64_t(), Int64Range r = Int64Range(INT64_MIN, INT64_MAX) )

inline

Definition at line 254 of file Options.h.

        : Option(n, d, c, "<int64>"), range(r), value(def) {}

Here is the call graph for this function:

Here is the caller graph for this function:

Member Function Documentation

help()

virtual void Gluco::Int64Option::help ( bool verbose = false )

inlinevirtual

Implements Gluco::Option.

Definition at line 284 of file Options.h.

                                            {
        fprintf(stderr, "  -%-12s = %-8s [", name, type_name);
        if (range.begin == INT64_MIN)
            fprintf(stderr, "imin");
        else
            fprintf(stderr, "%4d", (int)range.begin);
 
        fprintf(stderr, " .. ");
        if (range.end == INT64_MAX)
            fprintf(stderr, "imax");
        else
            fprintf(stderr, "%4d", (int)range.end);
 
        fprintf(stderr, "] (default: %d)\n", (int)value);
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

operator int64_t()

Gluco::Int64Option::operator int64_t ( void ) const

inline

Definition at line 257 of file Options.h.

{ return value; }

operator int64_t &()

Gluco::Int64Option::operator int64_t & ( void )

inline

Definition at line 258 of file Options.h.

{ return value; }

operator=()

Int64Option & Gluco::Int64Option::operator= ( int64_t x )

inline

Definition at line 259 of file Options.h.

{ value = x; return *this; }

Here is the call graph for this function:

parse()

virtual bool Gluco::Int64Option::parse ( const char * str )

inlinevirtual

Implements Gluco::Option.

Definition at line 261 of file Options.h.

                                       {
        const char* span = str; 
 
        if (!match(span, "-") || !match(span, name) || !match(span, "="))
            return false;
 
        char*   end;
        int64_t tmp = strtoll(span, &end, 10);
 
        if (end == NULL) 
            return false;
        else if (tmp > range.end){
            fprintf(stderr, "ERROR! value <%s> is too large for option \"%s\".\n", span, name);
            exit(1);
        }else if (tmp < range.begin){
            fprintf(stderr, "ERROR! value <%s> is too small for option \"%s\".\n", span, name);
            exit(1); }
 
        value = tmp;
 
        return true;
    }

Here is the call graph for this function:

Member Data Documentation

range

Int64Range Gluco::Int64Option::range

protected

Definition at line 250 of file Options.h.

value

int64_t Gluco::Int64Option::value

protected

Definition at line 251 of file Options.h.

---

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

• src/sat/glucose/Options.h