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	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	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	iterations (unsigned int i)
	Set default number of iterations. More...

unsigned int	iterations (void) const
	Return number of iterations. More...

void	samples (unsigned int s)
	Set default number of samples. More...

unsigned int	samples (void) const
	Return number of samples. 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::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	_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...

Detailed Description

Options for scripts with additional size parameter

Definition at line 493 of file driver.hh.

Constructor & Destructor Documentation

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

Initialize options for script with name s.

Definition at line 385 of file options.cpp.

Member Function Documentation

void Gecode::SizeOptions::help ( void )

virtual

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 389 of file options.cpp.

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

Parse options from arguments argv (number is argc)

Definition at line 396 of file options.cpp.

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

inline

Set default size.

Definition at line 399 of file options.hpp.

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

inline

Return size.

Definition at line 403 of file options.hpp.

Member Data Documentation

unsigned int Gecode::SizeOptions::_size

protected

Size value.

Definition at line 495 of file driver.hh.

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

gecode/driver.hh (Revision: 11465)
gecode/driver/options.cpp (Revision: 11465)
gecode/driver/options.hpp (Revision: 11766)

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation