Options for scripts More...

#include <gecode/driver.hh>

Classes
class	I_
	Helper class storing Gist inspectors. More...

Model options
Driver::StringOption	_model
	General model options.
Driver::StringOption	_symmetry
	General symmetry options.
Driver::StringOption	_propagation
	Propagation options.
Driver::IplOption	_ipl
	Integer propagation level.
Driver::StringOption	_branching
	Branching options.
Driver::DoubleOption	_decay
	Decay option.
Driver::UnsignedIntOption	_seed
	Seed option.
Driver::DoubleOption	_step
	Step option.
void	model (int v)
	Set default model value.
void	model (int v, const char o, const char h=nullptr)
	Add model option value for value v, string o, and help h.
int	model (void) const
	Return model value.
void	symmetry (int v)
	Set default symmetry value.
void	symmetry (int v, const char o, const char h=nullptr)
	Add symmetry option value for value v, string o, and help h.
int	symmetry (void) const
	Return symmetry value.
void	propagation (int v)
	Set default propagation value.
void	propagation (int v, const char o, const char h=nullptr)
	Add propagation option value for value v, string o, and help h.
int	propagation (void) const
	Return propagation value.
void	ipl (IntPropLevel i)
	Set default integer propagation level.
IntPropLevel	ipl (void) const
	Return integer propagation level.
void	branching (int v)
	Set default branching value.
void	branching (int v, const char o, const char h=nullptr)
	Add branching option value for value v, string o, and help h.
int	branching (void) const
	Return branching value.
void	decay (double d)
	Set default decay factor.
double	decay (void) const
	Return decay factor.
void	seed (unsigned int s)
	Set default seed value.
unsigned int	seed (void) const
	Return seed value.
void	step (double s)
	Set default step value.
double	step (void) const
	Return step value.

Search options
Driver::StringOption	_search
	Search options.
Driver::UnsignedLongLongIntOption	_solutions
	How many solutions.
Driver::DoubleOption	_threads
	How many threads to use.
Driver::UnsignedIntOption	_c_d
	Copy recomputation distance.
Driver::UnsignedIntOption	_a_d
	Adaptive recomputation distance.
Driver::UnsignedIntOption	_d_l
	Discrepancy limit for LDS.
Driver::UnsignedLongLongIntOption	_node
	Cutoff for number of nodes.
Driver::UnsignedLongLongIntOption	_fail
	Cutoff for number of failures.
Driver::DoubleOption	_time
	Cutoff for time.
Driver::UnsignedIntOption	_assets
	Number of assets in a portfolio.
Driver::UnsignedIntOption	_slice
	Size of a portfolio slice.
Driver::StringOption	_restart
	Restart method option.
Driver::DoubleOption	_r_base
	Restart base.
Driver::UnsignedIntOption	_r_scale
	Restart scale factor.
Driver::UnsignedLongLongIntOption	_r_limit
	Cutoff for number of restarts.
Driver::BoolOption	_nogoods
	Whether to use no-goods.
Driver::UnsignedIntOption	_nogoods_limit
	Limit for no-good extraction.
Driver::DoubleOption	_relax
	Probability to relax variable.
Driver::BoolOption	_interrupt
	Whether to catch SIGINT.
void	search (int v)
	Set default search value.
void	search (int v, const char o, const char h=nullptr)
	Add search option value for value v, string o, and help h.
int	search (void) const
	Return search value.
void	solutions (unsigned long long int n)
	Set default number of solutions to search for.
unsigned long long int	solutions (void) const
	Return number of solutions to search for.
void	threads (double n)
	Set number of parallel threads.
double	threads (void) const
	Return number of parallel threads.
void	c_d (unsigned int d)
	Set default copy recomputation distance.
unsigned int	c_d (void) const
	Return copy recomputation distance.
void	a_d (unsigned int d)
	Set default adaptive recomputation distance.
unsigned int	a_d (void) const
	Return adaptive recomputation distance.
void	d_l (unsigned int d)
	Set default discrepancy limit for LDS.
unsigned int	d_l (void) const
	Return discrepancy limit for LDS.
void	node (unsigned long long int n)
	Set default node cutoff.
unsigned long long int	node (void) const
	Return node cutoff.
void	fail (unsigned long long int n)
	Set default failure cutoff.
unsigned long long int	fail (void) const
	Return failure cutoff.
void	time (double t)
	Set default time cutoff.
double	time (void) const
	Return time cutoff.
void	assets (unsigned int n)
	Set default number of assets in a portfolio.
unsigned int	assets (void) const
	Return slice size in a portfolio.
void	slice (unsigned int n)
	Set default slice size in a portfolio.
unsigned int	slice (void) const
	Return slice size in a portfolio.
void	restart (RestartMode r)
	Set default restart mode.
RestartMode	restart (void) const
	Return restart mode.
void	restart_base (double base)
	Set default restart base.
double	restart_base (void) const
	Return restart base.
void	restart_scale (unsigned int scale)
	Set default restart scale factor.
unsigned int	restart_scale (void) const
	Return restart scale factor.
void	restart_limit (unsigned long long int n)
	Set default restart cutoff.
unsigned long long int	restart_limit (void) const
	Return restart cutoff.
void	nogoods (bool b)
	Set default nogoods posting behavior.
bool	nogoods (void) const
	Return whether nogoods are used.
void	nogoods_limit (unsigned int l)
	Set default nogoods depth limit.
unsigned int	nogoods_limit (void) const
	Return depth limit for nogoods.
void	relax (double d)
	Set default relax probability.
double	relax (void) const
	Return default relax probability.
void	interrupt (bool b)
	Set default interrupt behavior.
bool	interrupt (void) const
	Return interrupt behavior.

Execution options
Driver::StringOption	_mode
	Script mode to run.
Driver::UnsignedIntOption	_samples
	How many samples.
Driver::UnsignedIntOption	_iterations
	How many iterations per sample.
Driver::BoolOption	_print_last
	Print only last solution found.
Driver::StringValueOption	_out_file
	Where to print solutions.
Driver::StringValueOption	_log_file
	Where to print statistics.
Driver::TraceOption	_trace
	Trace flags for tracing.
Driver::ProfilerOption	_profiler
	Options for the CP Profiler.
class Gecode::Options::I_	inspect
	Script mode to run.
	Options (const char *s)
	Initialize options for script with name s.
void	mode (ScriptMode em)
	Set default mode.
ScriptMode	mode (void) const
	Return mode.
void	samples (unsigned int s)
	Set default number of samples.
unsigned int	samples (void) const
	Return number of samples.
void	iterations (unsigned int i)
	Set default number of iterations.
unsigned int	iterations (void) const
	Return number of iterations.
void	print_last (bool p)
	Set whether to print only last solution found.
bool	print_last (void) const
	Return whether to print only last solution found.
void	out_file (const char *f)
	Set default output file name for solutions.
const char *	out_file (void) const
	Get file name for solutions.
void	log_file (const char *f)
	Set default output file name for Gecode stats.
const char *	log_file (void) const
	Get file name for Gecode stats.
void	trace (int f)
	Set trace flags.
int	trace (void) const
	Return trace flags.
void	profiler_id (int i)
	Set profiler execution identifier.
int	profiler_id (void) const
	Return profiler execution id.
void	profiler_port (unsigned int p)
	Set profiler port.
unsigned int	profiler_port (void) const
	Return profiler execution id.

Additional Inherited Members
Public Member Functions inherited from Gecode::BaseOptions
	BaseOptions (const char *s)
	Initialize options for script with name s.
virtual void	help (void)
	Print help text.
void	add (Driver::BaseOption &o)
	Add new option o.
void	parse (int &argc, char *argv[])
	Parse options from arguments argv (number is argc).
const char *	name (void) const
	Return name of script.
void	name (const char *)
	Set name of script.
virtual	~BaseOptions (void)
	Destructor.
Protected Attributes inherited from Gecode::BaseOptions
Driver::BaseOption *	fst
	First registered option.
Driver::BaseOption *	lst
	Last registered option.
const char *	_name
	Script name.

Detailed Description

Options for scripts

Definition at line 410 of file driver.hh.

Constructor & Destructor Documentation

◆ Options()

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

Initialize options for script with name s.

Member Function Documentation

◆ model() [1/3]

void Gecode::Options::model ( int v )

inline

Set default model value.

Definition at line 206 of file options.hpp.

◆ model() [2/3]

void Gecode::Options::model	(	int	v,
		const char *	o,
		const char *	h = nullptr )

inline

Add model option value for value v, string o, and help h.

Definition at line 210 of file options.hpp.

◆ model() [3/3]

int Gecode::Options::model ( void ) const

inline

Return model value.

Definition at line 214 of file options.hpp.

◆ symmetry() [1/3]

void Gecode::Options::symmetry ( int v )

inline

Set default symmetry value.

Definition at line 219 of file options.hpp.

◆ symmetry() [2/3]

void Gecode::Options::symmetry	(	int	v,
		const char *	o,
		const char *	h = nullptr )

inline

Add symmetry option value for value v, string o, and help h.

Definition at line 223 of file options.hpp.

◆ symmetry() [3/3]

int Gecode::Options::symmetry ( void ) const

inline

Return symmetry value.

Definition at line 227 of file options.hpp.

◆ propagation() [1/3]

void Gecode::Options::propagation ( int v )

inline

Set default propagation value.

Definition at line 232 of file options.hpp.

◆ propagation() [2/3]

void Gecode::Options::propagation	(	int	v,
		const char *	o,
		const char *	h = nullptr )

inline

Add propagation option value for value v, string o, and help h.

Definition at line 236 of file options.hpp.

◆ propagation() [3/3]

int Gecode::Options::propagation ( void ) const

inline

Return propagation value.

Definition at line 240 of file options.hpp.

◆ ipl() [1/2]

void Gecode::Options::ipl ( IntPropLevel i )

inline

Set default integer propagation level.

Definition at line 245 of file options.hpp.

◆ ipl() [2/2]

IntPropLevel Gecode::Options::ipl ( void ) const

inline

Return integer propagation level.

Definition at line 249 of file options.hpp.

◆ branching() [1/3]

void Gecode::Options::branching ( int v )

inline

Set default branching value.

Definition at line 254 of file options.hpp.

◆ branching() [2/3]

void Gecode::Options::branching	(	int	v,
		const char *	o,
		const char *	h = nullptr )

inline

Add branching option value for value v, string o, and help h.

Definition at line 258 of file options.hpp.

◆ branching() [3/3]

int Gecode::Options::branching ( void ) const

inline

Return branching value.

Definition at line 262 of file options.hpp.

◆ decay() [1/2]

void Gecode::Options::decay ( double d )

inline

Set default decay factor.

Definition at line 267 of file options.hpp.

◆ decay() [2/2]

double Gecode::Options::decay ( void ) const

inline

Return decay factor.

Definition at line 271 of file options.hpp.

◆ seed() [1/2]

void Gecode::Options::seed ( unsigned int s )

inline

Set default seed value.

Definition at line 276 of file options.hpp.

◆ seed() [2/2]

unsigned int Gecode::Options::seed ( void ) const

inline

Return seed value.

Definition at line 280 of file options.hpp.

◆ step() [1/2]

void Gecode::Options::step ( double s )

inline

Set default step value.

Definition at line 285 of file options.hpp.

◆ step() [2/2]

double Gecode::Options::step ( void ) const

inline

Return step value.

Definition at line 289 of file options.hpp.

◆ search() [1/3]

void Gecode::Options::search ( int v )

inline

Set default search value.

Definition at line 299 of file options.hpp.

◆ search() [2/3]

void Gecode::Options::search	(	int	v,
		const char *	o,
		const char *	h = nullptr )

inline

Add search option value for value v, string o, and help h.

Definition at line 303 of file options.hpp.

◆ search() [3/3]

int Gecode::Options::search ( void ) const

inline

Return search value.

Definition at line 307 of file options.hpp.

◆ solutions() [1/2]

void Gecode::Options::solutions ( unsigned long long int n )

inline

Set default number of solutions to search for.

Definition at line 312 of file options.hpp.

◆ solutions() [2/2]

unsigned long long int Gecode::Options::solutions ( void ) const

inline

Return number of solutions to search for.

Definition at line 316 of file options.hpp.

◆ threads() [1/2]

void Gecode::Options::threads ( double n )

inline

Set number of parallel threads.

Definition at line 321 of file options.hpp.

◆ threads() [2/2]

double Gecode::Options::threads ( void ) const

inline

Return number of parallel threads.

Definition at line 325 of file options.hpp.

◆ c_d() [1/2]

void Gecode::Options::c_d ( unsigned int d )

inline

Set default copy recomputation distance.

Definition at line 330 of file options.hpp.

◆ c_d() [2/2]

unsigned int Gecode::Options::c_d ( void ) const

inline

Return copy recomputation distance.

Definition at line 334 of file options.hpp.

◆ a_d() [1/2]

void Gecode::Options::a_d ( unsigned int d )

inline

Set default adaptive recomputation distance.

Definition at line 339 of file options.hpp.

◆ a_d() [2/2]

unsigned int Gecode::Options::a_d ( void ) const

inline

Return adaptive recomputation distance.

Definition at line 343 of file options.hpp.

◆ d_l() [1/2]

void Gecode::Options::d_l ( unsigned int d )

inline

Set default discrepancy limit for LDS.

Definition at line 348 of file options.hpp.

◆ d_l() [2/2]

unsigned int Gecode::Options::d_l ( void ) const

inline

Return discrepancy limit for LDS.

Definition at line 352 of file options.hpp.

◆ node() [1/2]

void Gecode::Options::node ( unsigned long long int n )

inline

Set default node cutoff.

Definition at line 357 of file options.hpp.

◆ node() [2/2]

unsigned long long int Gecode::Options::node ( void ) const

inline

Return node cutoff.

Definition at line 361 of file options.hpp.

◆ fail() [1/2]

void Gecode::Options::fail ( unsigned long long int n )

inline

Set default failure cutoff.

Definition at line 366 of file options.hpp.

◆ fail() [2/2]

unsigned long long int Gecode::Options::fail ( void ) const

inline

Return failure cutoff.

Definition at line 370 of file options.hpp.

◆ time() [1/2]

void Gecode::Options::time ( double t )

inline

Set default time cutoff.

Definition at line 375 of file options.hpp.

◆ time() [2/2]

double Gecode::Options::time ( void ) const

inline

Return time cutoff.

Definition at line 379 of file options.hpp.

◆ assets() [1/2]

void Gecode::Options::assets ( unsigned int n )

inline

Set default number of assets in a portfolio.

Definition at line 384 of file options.hpp.

◆ assets() [2/2]

unsigned int Gecode::Options::assets ( void ) const

inline

Return slice size in a portfolio.

Definition at line 388 of file options.hpp.

◆ slice() [1/2]

void Gecode::Options::slice ( unsigned int n )

inline

Set default slice size in a portfolio.

Definition at line 393 of file options.hpp.

◆ slice() [2/2]

unsigned int Gecode::Options::slice ( void ) const

inline

Return slice size in a portfolio.

Definition at line 397 of file options.hpp.

◆ restart() [1/2]

void Gecode::Options::restart ( RestartMode r )

inline

Set default restart mode.

Definition at line 402 of file options.hpp.

◆ restart() [2/2]

RestartMode Gecode::Options::restart ( void ) const

inline

Return restart mode.

Definition at line 406 of file options.hpp.

◆ restart_base() [1/2]

void Gecode::Options::restart_base ( double base )

inline

Set default restart base.

Definition at line 411 of file options.hpp.

◆ restart_base() [2/2]

double Gecode::Options::restart_base ( void ) const

inline

Return restart base.

Definition at line 415 of file options.hpp.

◆ restart_scale() [1/2]

void Gecode::Options::restart_scale ( unsigned int scale )

inline

Set default restart scale factor.

Definition at line 420 of file options.hpp.

◆ restart_scale() [2/2]

unsigned int Gecode::Options::restart_scale ( void ) const

inline

Return restart scale factor.

Definition at line 424 of file options.hpp.

◆ restart_limit() [1/2]

void Gecode::Options::restart_limit ( unsigned long long int n )

inline

Set default restart cutoff.

Definition at line 429 of file options.hpp.

◆ restart_limit() [2/2]

unsigned long long int Gecode::Options::restart_limit ( void ) const

inline

Return restart cutoff.

Definition at line 433 of file options.hpp.

◆ nogoods() [1/2]

void Gecode::Options::nogoods ( bool b )

inline

Set default nogoods posting behavior.

Definition at line 438 of file options.hpp.

◆ nogoods() [2/2]

bool Gecode::Options::nogoods ( void ) const

inline

Return whether nogoods are used.

Definition at line 442 of file options.hpp.

◆ nogoods_limit() [1/2]

void Gecode::Options::nogoods_limit ( unsigned int l )

inline

Set default nogoods depth limit.

Definition at line 447 of file options.hpp.

◆ nogoods_limit() [2/2]

unsigned int Gecode::Options::nogoods_limit ( void ) const

inline

Return depth limit for nogoods.

Definition at line 451 of file options.hpp.

◆ relax() [1/2]

void Gecode::Options::relax ( double d )

inline

Set default relax probability.

Definition at line 456 of file options.hpp.

◆ relax() [2/2]

double Gecode::Options::relax ( void ) const

inline

Return default relax probability.

Definition at line 460 of file options.hpp.

◆ interrupt() [1/2]

void Gecode::Options::interrupt ( bool b )

inline

Set default interrupt behavior.

Definition at line 467 of file options.hpp.

◆ interrupt() [2/2]

bool Gecode::Options::interrupt ( void ) const

inline

Return interrupt behavior.

Definition at line 471 of file options.hpp.

◆ mode() [1/2]

void Gecode::Options::mode ( ScriptMode em )

inline

Set default mode.

Definition at line 481 of file options.hpp.

◆ mode() [2/2]

ScriptMode Gecode::Options::mode ( void ) const

inline

Return mode.

Definition at line 485 of file options.hpp.

◆ samples() [1/2]

void Gecode::Options::samples ( unsigned int s )

inline

Set default number of samples.

Definition at line 490 of file options.hpp.

◆ samples() [2/2]

unsigned int Gecode::Options::samples ( void ) const

inline

Return number of samples.

Definition at line 494 of file options.hpp.

◆ iterations() [1/2]

void Gecode::Options::iterations ( unsigned int i )

inline

Set default number of iterations.

Definition at line 499 of file options.hpp.

◆ iterations() [2/2]

unsigned int Gecode::Options::iterations ( void ) const

inline

Return number of iterations.

Definition at line 503 of file options.hpp.

◆ print_last() [1/2]

void Gecode::Options::print_last ( bool p )

inline

Set whether to print only last solution found.

Definition at line 508 of file options.hpp.

◆ print_last() [2/2]

bool Gecode::Options::print_last ( void ) const

inline

Return whether to print only last solution found.

Definition at line 512 of file options.hpp.

◆ out_file() [1/2]

void Gecode::Options::out_file ( const char * f )

inline

Set default output file name for solutions.

Definition at line 517 of file options.hpp.

◆ out_file() [2/2]

const char * Gecode::Options::out_file ( void ) const

inline

Get file name for solutions.

Definition at line 522 of file options.hpp.

◆ log_file() [1/2]

void Gecode::Options::log_file ( const char * f )

inline

Set default output file name for Gecode stats.

Definition at line 527 of file options.hpp.

◆ log_file() [2/2]

const char * Gecode::Options::log_file ( void ) const

inline

Get file name for Gecode stats.

Definition at line 532 of file options.hpp.

◆ trace() [1/2]

void Gecode::Options::trace ( int f )

inline

Set trace flags.

Definition at line 537 of file options.hpp.

◆ trace() [2/2]

int Gecode::Options::trace ( void ) const

inline

Return trace flags.

Definition at line 542 of file options.hpp.

◆ profiler_id() [1/2]

void Gecode::Options::profiler_id ( int i )

inline

Set profiler execution identifier.

Definition at line 553 of file options.hpp.

◆ profiler_id() [2/2]

int Gecode::Options::profiler_id ( void ) const

inline

Return profiler execution id.

Definition at line 557 of file options.hpp.

◆ profiler_port() [1/2]

void Gecode::Options::profiler_port ( unsigned int p )

inline

Set profiler port.

Definition at line 561 of file options.hpp.

◆ profiler_port() [2/2]

unsigned int Gecode::Options::profiler_port ( void ) const

inline

Return profiler execution id.

Definition at line 565 of file options.hpp.

Member Data Documentation

◆ _model

Driver::StringOption Gecode::Options::_model

protected

General model options.

Definition at line 414 of file driver.hh.

◆ _symmetry

Driver::StringOption Gecode::Options::_symmetry

protected

General symmetry options.

Definition at line 415 of file driver.hh.

◆ _propagation

Driver::StringOption Gecode::Options::_propagation

protected

Propagation options.

Definition at line 416 of file driver.hh.

◆ _ipl

Driver::IplOption Gecode::Options::_ipl

protected

Integer propagation level.

Definition at line 417 of file driver.hh.

◆ _branching

Driver::StringOption Gecode::Options::_branching

protected

Branching options.

Definition at line 418 of file driver.hh.

◆ _decay

Driver::DoubleOption Gecode::Options::_decay

protected

Decay option.

Definition at line 419 of file driver.hh.

◆ _seed

Driver::UnsignedIntOption Gecode::Options::_seed

protected

Seed option.

Definition at line 420 of file driver.hh.

◆ _step

Driver::DoubleOption Gecode::Options::_step

protected

Step option.

Definition at line 421 of file driver.hh.

◆ _search

Driver::StringOption Gecode::Options::_search

protected

Search options.

Definition at line 426 of file driver.hh.

◆ _solutions

Driver::UnsignedLongLongIntOption Gecode::Options::_solutions

protected

How many solutions.

Definition at line 428 of file driver.hh.

◆ _threads

Driver::DoubleOption Gecode::Options::_threads

protected

How many threads to use.

Definition at line 429 of file driver.hh.

◆ _c_d

Driver::UnsignedIntOption Gecode::Options::_c_d

protected

Copy recomputation distance.

Definition at line 430 of file driver.hh.

◆ _a_d

Driver::UnsignedIntOption Gecode::Options::_a_d

protected

Adaptive recomputation distance.

Definition at line 431 of file driver.hh.

◆ _d_l

Driver::UnsignedIntOption Gecode::Options::_d_l

protected

Discrepancy limit for LDS.

Definition at line 432 of file driver.hh.

◆ _node

Driver::UnsignedLongLongIntOption Gecode::Options::_node

protected

Cutoff for number of nodes.

Definition at line 434 of file driver.hh.

◆ _fail

Driver::UnsignedLongLongIntOption Gecode::Options::_fail

protected

Cutoff for number of failures.

Definition at line 436 of file driver.hh.

◆ _time

Driver::DoubleOption Gecode::Options::_time

protected

Cutoff for time.

Definition at line 437 of file driver.hh.

◆ _assets

Driver::UnsignedIntOption Gecode::Options::_assets

protected

Number of assets in a portfolio.

Definition at line 438 of file driver.hh.

◆ _slice

Driver::UnsignedIntOption Gecode::Options::_slice

protected

Size of a portfolio slice.

Definition at line 439 of file driver.hh.

◆ _restart

Driver::StringOption Gecode::Options::_restart

protected

Restart method option.

Definition at line 440 of file driver.hh.

◆ _r_base

Driver::DoubleOption Gecode::Options::_r_base

protected

Restart base.

Definition at line 441 of file driver.hh.

◆ _r_scale

Driver::UnsignedIntOption Gecode::Options::_r_scale

protected

Restart scale factor.

Definition at line 442 of file driver.hh.

◆ _r_limit

Driver::UnsignedLongLongIntOption Gecode::Options::_r_limit

protected

Cutoff for number of restarts.

Definition at line 444 of file driver.hh.

◆ _nogoods

Driver::BoolOption Gecode::Options::_nogoods

protected

Whether to use no-goods.

Definition at line 445 of file driver.hh.

◆ _nogoods_limit

Driver::UnsignedIntOption Gecode::Options::_nogoods_limit

protected

Limit for no-good extraction.

Definition at line 446 of file driver.hh.

◆ _relax

Driver::DoubleOption Gecode::Options::_relax

protected

Probability to relax variable.

Definition at line 447 of file driver.hh.

◆ _interrupt

Driver::BoolOption Gecode::Options::_interrupt

protected

Whether to catch SIGINT.

Definition at line 448 of file driver.hh.

◆ _mode

Driver::StringOption Gecode::Options::_mode

protected

Script mode to run.

Definition at line 453 of file driver.hh.

◆ _samples

Driver::UnsignedIntOption Gecode::Options::_samples

protected

How many samples.

Definition at line 454 of file driver.hh.

◆ _iterations

Driver::UnsignedIntOption Gecode::Options::_iterations

protected

How many iterations per sample.

Definition at line 455 of file driver.hh.

◆ _print_last

Driver::BoolOption Gecode::Options::_print_last

protected

Print only last solution found.

Definition at line 456 of file driver.hh.

◆ _out_file

Driver::StringValueOption Gecode::Options::_out_file

protected

Where to print solutions.

Definition at line 457 of file driver.hh.

◆ _log_file

Driver::StringValueOption Gecode::Options::_log_file

protected

Where to print statistics.

Definition at line 458 of file driver.hh.

◆ _trace

Driver::TraceOption Gecode::Options::_trace

protected

Trace flags for tracing.

Definition at line 459 of file driver.hh.

◆ _profiler

Driver::ProfilerOption Gecode::Options::_profiler

protected

Options for the CP Profiler.

Definition at line 462 of file driver.hh.

◆ inspect

class Gecode::Options::I_ Gecode::Options::inspect

Script mode to run.

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

gecode/driver.hh
gecode/driver/options.hpp

Classes

Model options

Search options

Execution options

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Options()

Member Function Documentation

◆ model() [1/3]

◆ model() [2/3]

◆ model() [3/3]

◆ symmetry() [1/3]

◆ symmetry() [2/3]

◆ symmetry() [3/3]

◆ propagation() [1/3]

◆ propagation() [2/3]

◆ propagation() [3/3]

◆ ipl() [1/2]

◆ ipl() [2/2]

◆ branching() [1/3]

◆ branching() [2/3]

◆ branching() [3/3]

◆ decay() [1/2]

◆ decay() [2/2]

◆ seed() [1/2]

◆ seed() [2/2]

◆ step() [1/2]

◆ step() [2/2]

◆ search() [1/3]

◆ search() [2/3]

◆ search() [3/3]

◆ solutions() [1/2]

◆ solutions() [2/2]

◆ threads() [1/2]

◆ threads() [2/2]

◆ c_d() [1/2]

◆ c_d() [2/2]

◆ a_d() [1/2]

◆ a_d() [2/2]

◆ d_l() [1/2]

◆ d_l() [2/2]

◆ node() [1/2]

◆ node() [2/2]

◆ fail() [1/2]

◆ fail() [2/2]

◆ time() [1/2]

◆ time() [2/2]

◆ assets() [1/2]

◆ assets() [2/2]

◆ slice() [1/2]

◆ slice() [2/2]

◆ restart() [1/2]

◆ restart() [2/2]

◆ restart_base() [1/2]

◆ restart_base() [2/2]

◆ restart_scale() [1/2]

◆ restart_scale() [2/2]

◆ restart_limit() [1/2]

◆ restart_limit() [2/2]

◆ nogoods() [1/2]

◆ nogoods() [2/2]

◆ nogoods_limit() [1/2]

◆ nogoods_limit() [2/2]

◆ relax() [1/2]

◆ relax() [2/2]

◆ interrupt() [1/2]

◆ interrupt() [2/2]

◆ mode() [1/2]

◆ mode() [2/2]

◆ samples() [1/2]

◆ samples() [2/2]

◆ iterations() [1/2]

◆ iterations() [2/2]

◆ print_last() [1/2]

◆ print_last() [2/2]

◆ out_file() [1/2]

◆ out_file() [2/2]

◆ log_file() [1/2]

◆ log_file() [2/2]