Generated on Tue Jan 28 2020 00:00:00 for Gecode by doxygen 1.8.17
Gecode::FlatZinc::FlatZincOptions Class Reference

Options for running FlatZinc models More...

#include <flatzinc.hh>

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...
 
 FlatZincOptions (const char *s)
 Constructor. More...
 
void parse (int &argc, char *argv[])
 Script mode to run. More...
 
virtual void help (void)
 Script mode to run. More...
 
int solutions (void) const
 Script mode to run. More...
 
bool allSolutions (void) const
 Script mode to run. More...
 
double threads (void) const
 Script mode to run. More...
 
bool free (void) const
 Script mode to run. More...
 
unsigned int c_d (void) const
 Script mode to run. More...
 
unsigned int a_d (void) const
 Script mode to run. More...
 
unsigned int node (void) const
 Script mode to run. More...
 
unsigned int fail (void) const
 Script mode to run. More...
 
unsigned int time (void) const
 Script mode to run. More...
 
int seed (void) const
 Script mode to run. More...
 
double step (void) const
 Script mode to run. More...
 
const char * output (void) const
 Script mode to run. More...
 
Gecode::ScriptMode mode (void) const
 Script mode to run. More...
 
double decay (void) const
 Script mode to run. More...
 
RestartMode restart (void) const
 Script mode to run. More...
 
double restart_base (void) const
 Script mode to run. More...
 
unsigned int restart_scale (void) const
 Script mode to run. More...
 
bool nogoods (void) const
 Script mode to run. More...
 
unsigned int nogoods_limit (void) const
 Script mode to run. More...
 
bool interrupt (void) const
 Script mode to run. More...
 
void allSolutions (bool b)
 Script mode to run. More...
 

Additional Inherited Members

- 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 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 230 of file flatzinc.hh.

Constructor & Destructor Documentation

◆ FlatZincOptions()

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

Constructor.

Definition at line 262 of file flatzinc.hh.

Member Function Documentation

◆ parse()

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

Script mode to run.

Definition at line 311 of file flatzinc.hh.

◆ help()

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

Script mode to run.

Reimplemented from Gecode::BaseOptions.

Definition at line 320 of file flatzinc.hh.

◆ solutions()

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

Script mode to run.

Definition at line 327 of file flatzinc.hh.

◆ allSolutions() [1/2]

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

Script mode to run.

Definition at line 328 of file flatzinc.hh.

◆ threads()

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

Script mode to run.

Definition at line 329 of file flatzinc.hh.

◆ free()

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

Script mode to run.

Definition at line 330 of file flatzinc.hh.

◆ c_d()

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

Script mode to run.

Definition at line 331 of file flatzinc.hh.

◆ a_d()

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

Script mode to run.

Definition at line 332 of file flatzinc.hh.

◆ node()

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

Script mode to run.

Definition at line 333 of file flatzinc.hh.

◆ fail()

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

Script mode to run.

Definition at line 334 of file flatzinc.hh.

◆ time()

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

Script mode to run.

Definition at line 335 of file flatzinc.hh.

◆ seed()

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

Script mode to run.

Definition at line 336 of file flatzinc.hh.

◆ step()

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

Script mode to run.

Definition at line 337 of file flatzinc.hh.

◆ output()

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

Script mode to run.

Definition at line 338 of file flatzinc.hh.

◆ mode()

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

Script mode to run.

Definition at line 339 of file flatzinc.hh.

◆ decay()

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

Script mode to run.

Definition at line 343 of file flatzinc.hh.

◆ restart()

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

Script mode to run.

Definition at line 344 of file flatzinc.hh.

◆ restart_base()

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

Script mode to run.

Definition at line 347 of file flatzinc.hh.

◆ restart_scale()

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

Script mode to run.

Definition at line 348 of file flatzinc.hh.

◆ nogoods()

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

Script mode to run.

Definition at line 349 of file flatzinc.hh.

◆ nogoods_limit()

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

Script mode to run.

Definition at line 350 of file flatzinc.hh.

◆ interrupt()

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

Script mode to run.

Definition at line 351 of file flatzinc.hh.

◆ allSolutions() [2/2]

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

Script mode to run.

Definition at line 353 of file flatzinc.hh.

Member Data Documentation

◆ _solutions

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

How many solutions.

Definition at line 234 of file flatzinc.hh.

◆ _allSolutions

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

Return all solutions.

Definition at line 235 of file flatzinc.hh.

◆ _threads

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

How many threads to use.

Definition at line 236 of file flatzinc.hh.

◆ _free

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

Use free search.

Definition at line 237 of file flatzinc.hh.

◆ _decay

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

Decay option.

Definition at line 238 of file flatzinc.hh.

◆ _c_d

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

Copy recomputation distance.

Definition at line 239 of file flatzinc.hh.

◆ _a_d

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

Adaptive recomputation distance.

Definition at line 240 of file flatzinc.hh.

◆ _node

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

Cutoff for number of nodes.

Definition at line 241 of file flatzinc.hh.

◆ _fail

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

Cutoff for number of failures.

Definition at line 242 of file flatzinc.hh.

◆ _time

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

Cutoff for time.

Definition at line 243 of file flatzinc.hh.

◆ _seed

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

Random seed.

Definition at line 244 of file flatzinc.hh.

◆ _restart

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

Restart method option.

Definition at line 245 of file flatzinc.hh.

◆ _r_base

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

Restart base.

Definition at line 246 of file flatzinc.hh.

◆ _r_scale

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

Restart scale factor.

Definition at line 247 of file flatzinc.hh.

◆ _nogoods

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

Whether to use no-goods.

Definition at line 248 of file flatzinc.hh.

◆ _nogoods_limit

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

Depth limit for extracting no-goods.

Definition at line 249 of file flatzinc.hh.

◆ _interrupt

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

Whether to catch SIGINT.

Definition at line 250 of file flatzinc.hh.

◆ _step

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

Step option.

Definition at line 251 of file flatzinc.hh.

◆ _mode

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

Script mode to run.

Definition at line 256 of file flatzinc.hh.

◆ _stat

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

Emit statistics.

Definition at line 257 of file flatzinc.hh.

◆ _output

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

Output file.

Definition at line 258 of file flatzinc.hh.


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