Generated on Thu Apr 11 13:59:51 2019 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::FlatZincOptions Class Reference

Options for running FlatZinc models More...

#include <flatzinc.hh>

List of all members.

Public Member Functions

 FlatZincOptions (const char *s)
 Constructor.
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc).
virtual void help (void)
 Print help text.
int solutions (void) const
bool allSolutions (void) const
double threads (void) const
bool free (void) const
unsigned int c_d (void) const
unsigned int a_d (void) const
unsigned int node (void) const
unsigned int fail (void) const
unsigned int time (void) const
int seed (void) const
double step (void) const
const char * output (void) const
Gecode::ScriptMode mode (void) const
double decay (void) const
RestartMode restart (void) const
void restart (RestartMode rm)
double restart_base (void) const
void restart_base (double d)
unsigned int restart_scale (void) const
void restart_scale (int i)
bool nogoods (void) const
unsigned int nogoods_limit (void) const
bool interrupt (void) const
int profiler_id (void) const
unsigned int profiler_port (void) const
bool profiler_info (void) const
void allSolutions (bool b)

Search options



Gecode::Driver::IntOption _solutions
 How many solutions.
Gecode::Driver::BoolOption _allSolutions
 Return all solutions.
Gecode::Driver::DoubleOption _threads
 How many threads to use.
Gecode::Driver::BoolOption _free
 Use free search.
Gecode::Driver::DoubleOption _decay
 Decay option.
Gecode::Driver::UnsignedIntOption _c_d
 Copy recomputation distance.
Gecode::Driver::UnsignedIntOption _a_d
 Adaptive recomputation distance.
Gecode::Driver::UnsignedIntOption _node
 Cutoff for number of nodes.
Gecode::Driver::UnsignedIntOption _fail
 Cutoff for number of failures.
Gecode::Driver::UnsignedIntOption _time
 Cutoff for time.
Gecode::Driver::UnsignedIntOption _time_limit
 Cutoff for time (for compatibility with flatzinc command line).
Gecode::Driver::IntOption _seed
 Random seed.
Gecode::Driver::StringOption _restart
 Restart method option.
Gecode::Driver::DoubleOption _r_base
 Restart base.
Gecode::Driver::UnsignedIntOption _r_scale
 Restart scale factor.
Gecode::Driver::BoolOption _nogoods
 Whether to use no-goods.
Gecode::Driver::UnsignedIntOption _nogoods_limit
 Depth limit for extracting no-goods.
Gecode::Driver::BoolOption _interrupt
 Whether to catch SIGINT.
Gecode::Driver::DoubleOption _step
 Step option.

Execution options



Gecode::Driver::StringOption _mode
 Script mode to run.
Gecode::Driver::BoolOption _stat
 Emit statistics.
Gecode::Driver::StringValueOption _output
 Output file.
Gecode::Driver::IntOption _profiler_id
 Use this execution id for the CP-profiler.
Gecode::Driver::UnsignedIntOption _profiler_port
 Connect to this port.
Gecode::Driver::BoolOption _profiler_info
 Whether solution information should be sent to the CP-profiler.

Detailed Description

Options for running FlatZinc models

Definition at line 226 of file flatzinc.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::FlatZincOptions::FlatZincOptions ( const char *  s  )  [inline]

Constructor.

Definition at line 268 of file flatzinc.hh.


Member Function Documentation

void Gecode::FlatZinc::FlatZincOptions::parse ( int &  argc,
char *  argv[] 
) [inline]

Parse options from arguments argv (number is argc).

The options are parsed from position one onwards until no more options are detected. After parsing, the parsed arguments have been removed.

Reimplemented from Gecode::BaseOptions.

Definition at line 332 of file flatzinc.hh.

virtual void Gecode::FlatZinc::FlatZincOptions::help ( void   )  [inline, virtual]

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 344 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincOptions::solutions ( void   )  const [inline]

Definition at line 351 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincOptions::allSolutions ( void   )  const [inline]

Definition at line 352 of file flatzinc.hh.

double Gecode::FlatZinc::FlatZincOptions::threads ( void   )  const [inline]

Definition at line 353 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincOptions::free ( void   )  const [inline]

Definition at line 354 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::c_d ( void   )  const [inline]

Definition at line 355 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::a_d ( void   )  const [inline]

Definition at line 356 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::node ( void   )  const [inline]

Definition at line 357 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::fail ( void   )  const [inline]

Definition at line 358 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::time ( void   )  const [inline]

Definition at line 359 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincOptions::seed ( void   )  const [inline]

Definition at line 360 of file flatzinc.hh.

double Gecode::FlatZinc::FlatZincOptions::step ( void   )  const [inline]

Definition at line 361 of file flatzinc.hh.

const char* Gecode::FlatZinc::FlatZincOptions::output ( void   )  const [inline]

Definition at line 362 of file flatzinc.hh.

Gecode::ScriptMode Gecode::FlatZinc::FlatZincOptions::mode ( void   )  const [inline]

Definition at line 364 of file flatzinc.hh.

double Gecode::FlatZinc::FlatZincOptions::decay ( void   )  const [inline]

Definition at line 368 of file flatzinc.hh.

RestartMode Gecode::FlatZinc::FlatZincOptions::restart ( void   )  const [inline]

Definition at line 369 of file flatzinc.hh.

void Gecode::FlatZinc::FlatZincOptions::restart ( RestartMode  rm  )  [inline]

Definition at line 372 of file flatzinc.hh.

double Gecode::FlatZinc::FlatZincOptions::restart_base ( void   )  const [inline]

Definition at line 375 of file flatzinc.hh.

void Gecode::FlatZinc::FlatZincOptions::restart_base ( double  d  )  [inline]

Definition at line 376 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::restart_scale ( void   )  const [inline]

Definition at line 377 of file flatzinc.hh.

void Gecode::FlatZinc::FlatZincOptions::restart_scale ( int  i  )  [inline]

Definition at line 378 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincOptions::nogoods ( void   )  const [inline]

Definition at line 379 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::nogoods_limit ( void   )  const [inline]

Definition at line 380 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincOptions::interrupt ( void   )  const [inline]

Definition at line 381 of file flatzinc.hh.

int Gecode::FlatZinc::FlatZincOptions::profiler_id ( void   )  const [inline]

Definition at line 385 of file flatzinc.hh.

unsigned int Gecode::FlatZinc::FlatZincOptions::profiler_port ( void   )  const [inline]

Definition at line 386 of file flatzinc.hh.

bool Gecode::FlatZinc::FlatZincOptions::profiler_info ( void   )  const [inline]

Definition at line 387 of file flatzinc.hh.

void Gecode::FlatZinc::FlatZincOptions::allSolutions ( bool  b  )  [inline]

Definition at line 391 of file flatzinc.hh.


Member Data Documentation

How many solutions.

Definition at line 230 of file flatzinc.hh.

Return all solutions.

Definition at line 231 of file flatzinc.hh.

How many threads to use.

Definition at line 232 of file flatzinc.hh.

Use free search.

Definition at line 233 of file flatzinc.hh.

Decay option.

Definition at line 234 of file flatzinc.hh.

Copy recomputation distance.

Definition at line 235 of file flatzinc.hh.

Adaptive recomputation distance.

Definition at line 236 of file flatzinc.hh.

Cutoff for number of nodes.

Definition at line 237 of file flatzinc.hh.

Cutoff for number of failures.

Definition at line 238 of file flatzinc.hh.

Cutoff for time.

Definition at line 239 of file flatzinc.hh.

Cutoff for time (for compatibility with flatzinc command line).

Definition at line 240 of file flatzinc.hh.

Random seed.

Definition at line 241 of file flatzinc.hh.

Restart method option.

Definition at line 242 of file flatzinc.hh.

Restart base.

Definition at line 243 of file flatzinc.hh.

Restart scale factor.

Definition at line 244 of file flatzinc.hh.

Whether to use no-goods.

Definition at line 245 of file flatzinc.hh.

Depth limit for extracting no-goods.

Definition at line 246 of file flatzinc.hh.

Whether to catch SIGINT.

Definition at line 247 of file flatzinc.hh.

Step option.

Definition at line 248 of file flatzinc.hh.

Script mode to run.

Definition at line 253 of file flatzinc.hh.

Emit statistics.

Definition at line 254 of file flatzinc.hh.

Use this execution id for the CP-profiler.

Definition at line 259 of file flatzinc.hh.

Connect to this port.

Definition at line 260 of file flatzinc.hh.

Whether solution information should be sent to the CP-profiler.

Definition at line 261 of file flatzinc.hh.


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