Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13
Gecode::FlatZinc::FlatZincOptions Class Reference

Options for running FlatZinc models More...

#include <flatzinc.hh>

Public Member Functions

 FlatZincOptions (const char *s)
 Constructor. More...
 
void parse (int &argc, char *argv[])
 
virtual void help (void)
 Print help text. More...
 
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)
 
- 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...
 

Search options

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

Execution options

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

Additional Inherited Members

- 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 running FlatZinc models

Definition at line 226 of file flatzinc.hh.

Constructor & Destructor Documentation

◆ FlatZincOptions()

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

Constructor.

Definition at line 267 of file flatzinc.hh.

Member Function Documentation

◆ parse()

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

Definition at line 330 of file flatzinc.hh.

◆ help()

virtual void Gecode::FlatZinc::FlatZincOptions::help ( void  )
inlinevirtual

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 339 of file flatzinc.hh.

◆ solutions()

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

Definition at line 346 of file flatzinc.hh.

◆ allSolutions() [1/2]

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

Definition at line 347 of file flatzinc.hh.

◆ threads()

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

Definition at line 348 of file flatzinc.hh.

◆ free()

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

Definition at line 349 of file flatzinc.hh.

◆ c_d()

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

Definition at line 350 of file flatzinc.hh.

◆ a_d()

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

Definition at line 351 of file flatzinc.hh.

◆ node()

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

Definition at line 352 of file flatzinc.hh.

◆ fail()

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

Definition at line 353 of file flatzinc.hh.

◆ time()

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

Definition at line 354 of file flatzinc.hh.

◆ seed()

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

Definition at line 355 of file flatzinc.hh.

◆ step()

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

Definition at line 356 of file flatzinc.hh.

◆ output()

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

Definition at line 357 of file flatzinc.hh.

◆ mode()

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

Definition at line 359 of file flatzinc.hh.

◆ decay()

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

Definition at line 363 of file flatzinc.hh.

◆ restart() [1/2]

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

Definition at line 364 of file flatzinc.hh.

◆ restart() [2/2]

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

Definition at line 367 of file flatzinc.hh.

◆ restart_base() [1/2]

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

Definition at line 370 of file flatzinc.hh.

◆ restart_base() [2/2]

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

Definition at line 371 of file flatzinc.hh.

◆ restart_scale() [1/2]

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

Definition at line 372 of file flatzinc.hh.

◆ restart_scale() [2/2]

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

Definition at line 373 of file flatzinc.hh.

◆ nogoods()

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

Definition at line 374 of file flatzinc.hh.

◆ nogoods_limit()

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

Definition at line 375 of file flatzinc.hh.

◆ interrupt()

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

Definition at line 376 of file flatzinc.hh.

◆ profiler_id()

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

Definition at line 380 of file flatzinc.hh.

◆ profiler_port()

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

Definition at line 381 of file flatzinc.hh.

◆ profiler_info()

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

Definition at line 382 of file flatzinc.hh.

◆ allSolutions() [2/2]

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

Definition at line 386 of file flatzinc.hh.

Member Data Documentation

◆ _solutions

Gecode::Driver::IntOption Gecode::FlatZinc::FlatZincOptions::_solutions
protected

How many solutions.

Definition at line 230 of file flatzinc.hh.

◆ _allSolutions

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_allSolutions
protected

Return all solutions.

Definition at line 231 of file flatzinc.hh.

◆ _threads

Gecode::Driver::DoubleOption Gecode::FlatZinc::FlatZincOptions::_threads
protected

How many threads to use.

Definition at line 232 of file flatzinc.hh.

◆ _free

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_free
protected

Use free search.

Definition at line 233 of file flatzinc.hh.

◆ _decay

Gecode::Driver::DoubleOption Gecode::FlatZinc::FlatZincOptions::_decay
protected

Decay option.

Definition at line 234 of file flatzinc.hh.

◆ _c_d

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_c_d
protected

Copy recomputation distance.

Definition at line 235 of file flatzinc.hh.

◆ _a_d

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_a_d
protected

Adaptive recomputation distance.

Definition at line 236 of file flatzinc.hh.

◆ _node

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_node
protected

Cutoff for number of nodes.

Definition at line 237 of file flatzinc.hh.

◆ _fail

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_fail
protected

Cutoff for number of failures.

Definition at line 238 of file flatzinc.hh.

◆ _time

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_time
protected

Cutoff for time.

Definition at line 239 of file flatzinc.hh.

◆ _seed

Gecode::Driver::IntOption Gecode::FlatZinc::FlatZincOptions::_seed
protected

Random seed.

Definition at line 240 of file flatzinc.hh.

◆ _restart

Gecode::Driver::StringOption Gecode::FlatZinc::FlatZincOptions::_restart
protected

Restart method option.

Definition at line 241 of file flatzinc.hh.

◆ _r_base

Gecode::Driver::DoubleOption Gecode::FlatZinc::FlatZincOptions::_r_base
protected

Restart base.

Definition at line 242 of file flatzinc.hh.

◆ _r_scale

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_r_scale
protected

Restart scale factor.

Definition at line 243 of file flatzinc.hh.

◆ _nogoods

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_nogoods
protected

Whether to use no-goods.

Definition at line 244 of file flatzinc.hh.

◆ _nogoods_limit

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_nogoods_limit
protected

Depth limit for extracting no-goods.

Definition at line 245 of file flatzinc.hh.

◆ _interrupt

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_interrupt
protected

Whether to catch SIGINT.

Definition at line 246 of file flatzinc.hh.

◆ _step

Gecode::Driver::DoubleOption Gecode::FlatZinc::FlatZincOptions::_step
protected

Step option.

Definition at line 247 of file flatzinc.hh.

◆ _mode

Gecode::Driver::StringOption Gecode::FlatZinc::FlatZincOptions::_mode
protected

Script mode to run.

Definition at line 252 of file flatzinc.hh.

◆ _stat

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_stat
protected

Emit statistics.

Definition at line 253 of file flatzinc.hh.

◆ _output

Gecode::Driver::StringValueOption Gecode::FlatZinc::FlatZincOptions::_output
protected

Output file.

Definition at line 254 of file flatzinc.hh.

◆ _profiler_id

Gecode::Driver::IntOption Gecode::FlatZinc::FlatZincOptions::_profiler_id
protected

Use this execution id for the CP-profiler.

Definition at line 258 of file flatzinc.hh.

◆ _profiler_port

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_profiler_port
protected

Connect to this port.

Definition at line 259 of file flatzinc.hh.

◆ _profiler_info

Gecode::Driver::BoolOption Gecode::FlatZinc::FlatZincOptions::_profiler_info
protected

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

Definition at line 260 of file flatzinc.hh.


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