Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1

Options for scripts with additional size parameter More...

#include <driver.hh>

Public Member Functions

 SizeOptions (const char *s)
 Initialize options for script with name s. More...
 
virtual void help (void)
 Print help text. More...
 
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc) More...
 
void size (unsigned int s)
 Set default size. More...
 
unsigned int size (void) const
 Return size. More...
 
- Public Member Functions inherited from Gecode::Options
 Options (const char *s)
 Initialize options for script with name s. More...
 
void model (int v)
 Set default model value. More...
 
void model (int v, const char *o, const char *h=NULL)
 Add model option value for value v, string o, and help h. More...
 
int model (void) const
 Return model value. More...
 
void symmetry (int v)
 Set default symmetry value. More...
 
void symmetry (int v, const char *o, const char *h=NULL)
 Add symmetry option value for value v, string o, and help h. More...
 
int symmetry (void) const
 Return symmetry value. More...
 
void propagation (int v)
 Set default propagation value. More...
 
void propagation (int v, const char *o, const char *h=NULL)
 Add propagation option value for value v, string o, and help h. More...
 
int propagation (void) const
 Return propagation value. More...
 
void icl (IntConLevel i)
 Set default integer consistency level. More...
 
IntConLevel icl (void) const
 Return integer consistency level. More...
 
void branching (int v)
 Set default branching value. More...
 
void branching (int v, const char *o, const char *h=NULL)
 Add branching option value for value v, string o, and help h. More...
 
int branching (void) const
 Return branching value. More...
 
void decay (double d)
 Set default decay factor. More...
 
double decay (void) const
 Return decay factor. More...
 
void search (int v)
 Set default search value. More...
 
void search (int v, const char *o, const char *h=NULL)
 Add search option value for value v, string o, and help h. More...
 
int search (void) const
 Return search value. More...
 
void solutions (unsigned int n)
 Set default number of solutions to search for. More...
 
unsigned int solutions (void) const
 Return number of solutions to search for. More...
 
void threads (double n)
 Set number of parallel threads. More...
 
double threads (void) const
 Return number of parallel threads. More...
 
void c_d (unsigned int d)
 Set default copy recomputation distance. More...
 
unsigned int c_d (void) const
 Return copy recomputation distance. More...
 
void a_d (unsigned int d)
 Set default adaptive recomputation distance. More...
 
unsigned int a_d (void) const
 Return adaptive recomputation distance. More...
 
void node (unsigned int n)
 Set default node cutoff. More...
 
unsigned int node (void) const
 Return node cutoff. More...
 
void fail (unsigned int n)
 Set default failure cutoff. More...
 
unsigned int fail (void) const
 Return failure cutoff. More...
 
void time (unsigned int t)
 Set default time cutoff. More...
 
unsigned int time (void) const
 Return time cutoff. More...
 
void restart (RestartMode r)
 Set default restart mode. More...
 
RestartMode restart (void) const
 Return restart mode. More...
 
void restart_base (double base)
 Set default restart base. More...
 
double restart_base (void) const
 Return restart base. More...
 
void restart_scale (unsigned int scale)
 Set default restart scale factor. More...
 
unsigned int restart_scale (void) const
 Return restart scale factor. More...
 
void nogoods (bool b)
 Set default nogoods posting behavior. More...
 
bool nogoods (void) const
 Return whether nogoods are used. More...
 
void nogoods_limit (unsigned int l)
 Set default nogoods depth limit. More...
 
unsigned int nogoods_limit (void) const
 Return depth limit for nogoods. More...
 
void interrupt (bool b)
 Set default interrupt behavior. More...
 
bool interrupt (void) const
 Return interrupt behavior. More...
 
void mode (ScriptMode em)
 Set default mode. More...
 
ScriptMode mode (void) const
 Return mode. More...
 
void samples (unsigned int s)
 Set default number of samples. More...
 
unsigned int samples (void) const
 Return number of samples. More...
 
void iterations (unsigned int i)
 Set default number of iterations. More...
 
unsigned int iterations (void) const
 Return number of iterations. More...
 
void print_last (bool p)
 Set whether to print only last solution found. More...
 
bool print_last (void) const
 Return whether to print only last solution found. More...
 
void out_file (const char *f)
 Set default output file name for solutions. More...
 
const char * out_file (void) const
 Get file name for solutions. More...
 
void log_file (const char *f)
 Set default output file name for Gecode stats. More...
 
const char * log_file (void) const
 Get file name for Gecode stats. More...
 
- Public Member Functions inherited from Gecode::BaseOptions
 BaseOptions (const char *s)
 Initialize options for script with name s. More...
 
void add (Driver::BaseOption &o)
 Add new option o. More...
 
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc) More...
 
const char * name (void) const
 Return name of script. More...
 
void name (const char *)
 Set name of script. More...
 
virtual ~BaseOptions (void)
 Destructor. More...
 

Protected Attributes

unsigned int _size
 Size value. More...
 
- Protected Attributes inherited from Gecode::Options
Driver::StringOption _model
 General model options. More...
 
Driver::StringOption _symmetry
 General symmetry options. More...
 
Driver::StringOption _propagation
 Propagation options. More...
 
Driver::StringOption _icl
 Integer consistency level. More...
 
Driver::StringOption _branching
 Branching options. More...
 
Driver::DoubleOption _decay
 Decay option. More...
 
Driver::StringOption _search
 Search options. More...
 
Driver::UnsignedIntOption _solutions
 How many solutions. More...
 
Driver::DoubleOption _threads
 How many threads to use. More...
 
Driver::UnsignedIntOption _c_d
 Copy recomputation distance. More...
 
Driver::UnsignedIntOption _a_d
 Adaptive recomputation distance. More...
 
Driver::UnsignedIntOption _node
 Cutoff for number of nodes. More...
 
Driver::UnsignedIntOption _fail
 Cutoff for number of failures. More...
 
Driver::UnsignedIntOption _time
 Cutoff for time. More...
 
Driver::StringOption _restart
 Restart method option. More...
 
Driver::DoubleOption _r_base
 Restart base. More...
 
Driver::UnsignedIntOption _r_scale
 Restart scale factor. More...
 
Driver::BoolOption _nogoods
 Whether to use no-goods. More...
 
Driver::UnsignedIntOption _nogoods_limit
 Limit for no-good extraction. More...
 
Driver::BoolOption _interrupt
 Whether to catch SIGINT. More...
 
Driver::StringOption _mode
 Script mode to run. More...
 
Driver::UnsignedIntOption _samples
 How many samples. More...
 
Driver::UnsignedIntOption _iterations
 How many iterations per sample. More...
 
Driver::BoolOption _print_last
 Print only last solution found. More...
 
Driver::StringValueOption _out_file
 Where to print solutions. More...
 
Driver::StringValueOption _log_file
 Where to print statistics. More...
 
- Protected Attributes inherited from Gecode::BaseOptions
Driver::BaseOptionfst
 First registered option. More...
 
Driver::BaseOptionlst
 Last registered option. More...
 
const char * _name
 Script name. More...
 

Detailed Description

Options for scripts with additional size parameter

Definition at line 567 of file driver.hh.

Constructor & Destructor Documentation

Gecode::SizeOptions::SizeOptions ( const char *  s)

Initialize options for script with name s.

Definition at line 424 of file options.cpp.

Member Function Documentation

void Gecode::SizeOptions::help ( void  )
virtual

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 428 of file options.cpp.

void Gecode::SizeOptions::parse ( int &  argc,
char *  argv[] 
)

Parse options from arguments argv (number is argc)

Definition at line 435 of file options.cpp.

void Gecode::SizeOptions::size ( unsigned int  s)
inline

Set default size.

Definition at line 467 of file options.hpp.

unsigned int Gecode::SizeOptions::size ( void  ) const
inline

Return size.

Definition at line 471 of file options.hpp.

Member Data Documentation

unsigned int Gecode::SizeOptions::_size
protected

Size value.

Definition at line 569 of file driver.hh.


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