Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Options for scripts More...

#include <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=NULL)
 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=NULL)
 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=NULL)
 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=NULL)
 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::UnsignedIntOption _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::UnsignedIntOption _node
 Cutoff for number of nodes.
Driver::UnsignedIntOption _fail
 Cutoff for number of failures.
Driver::UnsignedIntOption _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::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=NULL)
 Add search option value for value v, string o, and help h.
int search (void) const
 Return search value.
void solutions (unsigned int n)
 Set default number of solutions to search for.
unsigned 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 int n)
 Set default node cutoff.
unsigned int node (void) const
 Return node cutoff.
void fail (unsigned int n)
 Set default failure cutoff.
unsigned int fail (void) const
 Return failure cutoff.
void time (unsigned int t)
 Set default time cutoff.
unsigned int 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 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::IntOption _profiler_id
 Use this execution id for the CP-profiler.
Driver::UnsignedIntOption _profiler_port
 Connect to this port.
Driver::BoolOption _profiler_info
 Whether solution information should be sent to the CPProfiler.
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.
void profiler_info (bool b)
 Whether solution info should be sent to profiler.
bool profiler_info (void) const
 Return whether solution info should be sent to profiler.

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::BaseOptionfst
 First registered option.
Driver::BaseOptionlst
 Last registered option.
const char * _name
 Script name.

Detailed Description

Options for scripts

Definition at line 366 of file driver.hh.

Constructor & Destructor Documentation

◆ Options()

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

Initialize options for script with name s.

Definition at line 576 of file options.cpp.

Member Function Documentation

◆ model() [1/3]

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

Set default model value.

Definition at line 177 of file options.hpp.

◆ model() [2/3]

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

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

Definition at line 181 of file options.hpp.

◆ model() [3/3]

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

Return model value.

Definition at line 185 of file options.hpp.

◆ symmetry() [1/3]

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

Set default symmetry value.

Definition at line 190 of file options.hpp.

◆ symmetry() [2/3]

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

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

Definition at line 194 of file options.hpp.

◆ symmetry() [3/3]

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

Return symmetry value.

Definition at line 198 of file options.hpp.

◆ propagation() [1/3]

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

Set default propagation value.

Definition at line 203 of file options.hpp.

◆ propagation() [2/3]

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

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

Definition at line 207 of file options.hpp.

◆ propagation() [3/3]

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

Return propagation value.

Definition at line 211 of file options.hpp.

◆ ipl() [1/2]

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

Set default integer propagation level.

Definition at line 216 of file options.hpp.

◆ ipl() [2/2]

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

Return integer propagation level.

Definition at line 220 of file options.hpp.

◆ branching() [1/3]

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

Set default branching value.

Definition at line 225 of file options.hpp.

◆ branching() [2/3]

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

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

Definition at line 229 of file options.hpp.

◆ branching() [3/3]

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

Return branching value.

Definition at line 233 of file options.hpp.

◆ decay() [1/2]

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

Set default decay factor.

Definition at line 238 of file options.hpp.

◆ decay() [2/2]

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

Return decay factor.

Definition at line 242 of file options.hpp.

◆ seed() [1/2]

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

Set default seed value.

Definition at line 247 of file options.hpp.

◆ seed() [2/2]

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

Return seed value.

Definition at line 251 of file options.hpp.

◆ step() [1/2]

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

Set default step value.

Definition at line 256 of file options.hpp.

◆ step() [2/2]

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

Return step value.

Definition at line 260 of file options.hpp.

◆ search() [1/3]

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

Set default search value.

Definition at line 270 of file options.hpp.

◆ search() [2/3]

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

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

Definition at line 274 of file options.hpp.

◆ search() [3/3]

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

Return search value.

Definition at line 278 of file options.hpp.

◆ solutions() [1/2]

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

Set default number of solutions to search for.

Definition at line 283 of file options.hpp.

◆ solutions() [2/2]

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

Return number of solutions to search for.

Definition at line 287 of file options.hpp.

◆ threads() [1/2]

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

Set number of parallel threads.

Definition at line 292 of file options.hpp.

◆ threads() [2/2]

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

Return number of parallel threads.

Definition at line 296 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 301 of file options.hpp.

◆ c_d() [2/2]

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

Return copy recomputation distance.

Definition at line 305 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 310 of file options.hpp.

◆ a_d() [2/2]

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

Return adaptive recomputation distance.

Definition at line 314 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 319 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 323 of file options.hpp.

◆ node() [1/2]

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

Set default node cutoff.

Definition at line 328 of file options.hpp.

◆ node() [2/2]

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

Return node cutoff.

Definition at line 332 of file options.hpp.

◆ fail() [1/2]

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

Set default failure cutoff.

Definition at line 337 of file options.hpp.

◆ fail() [2/2]

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

Return failure cutoff.

Definition at line 341 of file options.hpp.

◆ time() [1/2]

void Gecode::Options::time ( unsigned int t)
inline

Set default time cutoff.

Definition at line 346 of file options.hpp.

◆ time() [2/2]

unsigned int Gecode::Options::time ( void ) const
inline

Return time cutoff.

Definition at line 350 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 355 of file options.hpp.

◆ assets() [2/2]

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

Return slice size in a portfolio.

Definition at line 359 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 364 of file options.hpp.

◆ slice() [2/2]

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

Return slice size in a portfolio.

Definition at line 368 of file options.hpp.

◆ restart() [1/2]

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

Set default restart mode.

Definition at line 373 of file options.hpp.

◆ restart() [2/2]

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

Return restart mode.

Definition at line 377 of file options.hpp.

◆ restart_base() [1/2]

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

Set default restart base.

Definition at line 382 of file options.hpp.

◆ restart_base() [2/2]

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

Return restart base.

Definition at line 386 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 391 of file options.hpp.

◆ restart_scale() [2/2]

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

Return restart scale factor.

Definition at line 395 of file options.hpp.

◆ nogoods() [1/2]

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

Set default nogoods posting behavior.

Definition at line 400 of file options.hpp.

◆ nogoods() [2/2]

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

Return whether nogoods are used.

Definition at line 404 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 409 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 413 of file options.hpp.

◆ relax() [1/2]

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

Set default relax probability.

Definition at line 418 of file options.hpp.

◆ relax() [2/2]

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

Return default relax probability.

Definition at line 422 of file options.hpp.

◆ interrupt() [1/2]

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

Set default interrupt behavior.

Definition at line 429 of file options.hpp.

◆ interrupt() [2/2]

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

Return interrupt behavior.

Definition at line 433 of file options.hpp.

◆ mode() [1/2]

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

Set default mode.

Definition at line 443 of file options.hpp.

◆ mode() [2/2]

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

Return mode.

Definition at line 447 of file options.hpp.

◆ samples() [1/2]

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

Set default number of samples.

Definition at line 452 of file options.hpp.

◆ samples() [2/2]

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

Return number of samples.

Definition at line 456 of file options.hpp.

◆ iterations() [1/2]

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

Set default number of iterations.

Definition at line 461 of file options.hpp.

◆ iterations() [2/2]

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

Return number of iterations.

Definition at line 465 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 470 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 474 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 479 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 484 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 489 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 494 of file options.hpp.

◆ trace() [1/2]

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

Set trace flags.

Definition at line 499 of file options.hpp.

◆ trace() [2/2]

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

Return trace flags.

Definition at line 504 of file options.hpp.

◆ profiler_id() [1/2]

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

Set profiler execution identifier.

Definition at line 515 of file options.hpp.

◆ profiler_id() [2/2]

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

Return profiler execution id.

Definition at line 519 of file options.hpp.

◆ profiler_port() [1/2]

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

Set profiler port.

Definition at line 523 of file options.hpp.

◆ profiler_port() [2/2]

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

Return profiler execution id.

Definition at line 527 of file options.hpp.

◆ profiler_info() [1/2]

void Gecode::Options::profiler_info ( bool b)
inline

Whether solution info should be sent to profiler.

Definition at line 531 of file options.hpp.

◆ profiler_info() [2/2]

bool Gecode::Options::profiler_info ( void ) const
inline

Return whether solution info should be sent to profiler.

Definition at line 535 of file options.hpp.

Member Data Documentation

◆ _model

Driver::StringOption Gecode::Options::_model
protected

General model options.

Definition at line 370 of file driver.hh.

◆ _symmetry

Driver::StringOption Gecode::Options::_symmetry
protected

General symmetry options.

Definition at line 371 of file driver.hh.

◆ _propagation

Driver::StringOption Gecode::Options::_propagation
protected

Propagation options.

Definition at line 372 of file driver.hh.

◆ _ipl

Driver::IplOption Gecode::Options::_ipl
protected

Integer propagation level.

Definition at line 373 of file driver.hh.

◆ _branching

Driver::StringOption Gecode::Options::_branching
protected

Branching options.

Definition at line 374 of file driver.hh.

◆ _decay

Driver::DoubleOption Gecode::Options::_decay
protected

Decay option.

Definition at line 375 of file driver.hh.

◆ _seed

Driver::UnsignedIntOption Gecode::Options::_seed
protected

Seed option.

Definition at line 376 of file driver.hh.

◆ _step

Driver::DoubleOption Gecode::Options::_step
protected

Step option.

Definition at line 377 of file driver.hh.

◆ _search

Driver::StringOption Gecode::Options::_search
protected

Search options.

Definition at line 382 of file driver.hh.

◆ _solutions

Driver::UnsignedIntOption Gecode::Options::_solutions
protected

How many solutions.

Definition at line 383 of file driver.hh.

◆ _threads

Driver::DoubleOption Gecode::Options::_threads
protected

How many threads to use.

Definition at line 384 of file driver.hh.

◆ _c_d

Driver::UnsignedIntOption Gecode::Options::_c_d
protected

Copy recomputation distance.

Definition at line 385 of file driver.hh.

◆ _a_d

Driver::UnsignedIntOption Gecode::Options::_a_d
protected

Adaptive recomputation distance.

Definition at line 386 of file driver.hh.

◆ _d_l

Driver::UnsignedIntOption Gecode::Options::_d_l
protected

Discrepancy limit for LDS.

Definition at line 387 of file driver.hh.

◆ _node

Driver::UnsignedIntOption Gecode::Options::_node
protected

Cutoff for number of nodes.

Definition at line 388 of file driver.hh.

◆ _fail

Driver::UnsignedIntOption Gecode::Options::_fail
protected

Cutoff for number of failures.

Definition at line 389 of file driver.hh.

◆ _time

Driver::UnsignedIntOption Gecode::Options::_time
protected

Cutoff for time.

Definition at line 390 of file driver.hh.

◆ _assets

Driver::UnsignedIntOption Gecode::Options::_assets
protected

Number of assets in a portfolio.

Definition at line 391 of file driver.hh.

◆ _slice

Driver::UnsignedIntOption Gecode::Options::_slice
protected

Size of a portfolio slice.

Definition at line 392 of file driver.hh.

◆ _restart

Driver::StringOption Gecode::Options::_restart
protected

Restart method option.

Definition at line 393 of file driver.hh.

◆ _r_base

Driver::DoubleOption Gecode::Options::_r_base
protected

Restart base.

Definition at line 394 of file driver.hh.

◆ _r_scale

Driver::UnsignedIntOption Gecode::Options::_r_scale
protected

Restart scale factor.

Definition at line 395 of file driver.hh.

◆ _nogoods

Driver::BoolOption Gecode::Options::_nogoods
protected

Whether to use no-goods.

Definition at line 396 of file driver.hh.

◆ _nogoods_limit

Driver::UnsignedIntOption Gecode::Options::_nogoods_limit
protected

Limit for no-good extraction.

Definition at line 397 of file driver.hh.

◆ _relax

Driver::DoubleOption Gecode::Options::_relax
protected

Probability to relax variable.

Definition at line 398 of file driver.hh.

◆ _interrupt

Driver::BoolOption Gecode::Options::_interrupt
protected

Whether to catch SIGINT.

Definition at line 399 of file driver.hh.

◆ _mode

Driver::StringOption Gecode::Options::_mode
protected

Script mode to run.

Definition at line 404 of file driver.hh.

◆ _samples

Driver::UnsignedIntOption Gecode::Options::_samples
protected

How many samples.

Definition at line 405 of file driver.hh.

◆ _iterations

Driver::UnsignedIntOption Gecode::Options::_iterations
protected

How many iterations per sample.

Definition at line 406 of file driver.hh.

◆ _print_last

Driver::BoolOption Gecode::Options::_print_last
protected

Print only last solution found.

Definition at line 407 of file driver.hh.

◆ _out_file

Driver::StringValueOption Gecode::Options::_out_file
protected

Where to print solutions.

Definition at line 408 of file driver.hh.

◆ _log_file

Driver::StringValueOption Gecode::Options::_log_file
protected

Where to print statistics.

Definition at line 409 of file driver.hh.

◆ _trace

Driver::TraceOption Gecode::Options::_trace
protected

Trace flags for tracing.

Definition at line 410 of file driver.hh.

◆ _profiler_id

Driver::IntOption Gecode::Options::_profiler_id
protected

Use this execution id for the CP-profiler.

Definition at line 413 of file driver.hh.

◆ _profiler_port

Driver::UnsignedIntOption Gecode::Options::_profiler_port
protected

Connect to this port.

Definition at line 414 of file driver.hh.

◆ _profiler_info

Driver::BoolOption Gecode::Options::_profiler_info
protected

Whether solution information should be sent to the CPProfiler.

Definition at line 415 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: