Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
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
 
const char * output (void) const
 
Gecode::ScriptMode mode (void) const
 
double decay (void) const
 
RestartMode restart (void) const
 
double restart_base (void) const
 
unsigned int restart_scale (void) const
 
bool nogoods (void) const
 
unsigned int nogoods_limit (void) const
 
bool interrupt (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...
 

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...
 

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

Constructor & Destructor Documentation

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

Constructor.

Definition at line 236 of file flatzinc.hh.

Member Function Documentation

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

Definition at line 283 of file flatzinc.hh.

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

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 292 of file flatzinc.hh.

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

Definition at line 299 of file flatzinc.hh.

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

Definition at line 300 of file flatzinc.hh.

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

Definition at line 301 of file flatzinc.hh.

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

Definition at line 302 of file flatzinc.hh.

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

Definition at line 303 of file flatzinc.hh.

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

Definition at line 304 of file flatzinc.hh.

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

Definition at line 305 of file flatzinc.hh.

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

Definition at line 306 of file flatzinc.hh.

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

Definition at line 307 of file flatzinc.hh.

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

Definition at line 308 of file flatzinc.hh.

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

Definition at line 309 of file flatzinc.hh.

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

Definition at line 310 of file flatzinc.hh.

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

Definition at line 314 of file flatzinc.hh.

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

Definition at line 315 of file flatzinc.hh.

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

Definition at line 318 of file flatzinc.hh.

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

Definition at line 319 of file flatzinc.hh.

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

Definition at line 320 of file flatzinc.hh.

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

Definition at line 321 of file flatzinc.hh.

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

Definition at line 322 of file flatzinc.hh.

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

Definition at line 324 of file flatzinc.hh.

Member Data Documentation

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

How many solutions.

Definition at line 209 of file flatzinc.hh.

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

Return all solutions.

Definition at line 210 of file flatzinc.hh.

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

How many threads to use.

Definition at line 211 of file flatzinc.hh.

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

Use free search.

Definition at line 212 of file flatzinc.hh.

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

Decay option.

Definition at line 213 of file flatzinc.hh.

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

Copy recomputation distance.

Definition at line 214 of file flatzinc.hh.

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

Adaptive recomputation distance.

Definition at line 215 of file flatzinc.hh.

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

Cutoff for number of nodes.

Definition at line 216 of file flatzinc.hh.

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

Cutoff for number of failures.

Definition at line 217 of file flatzinc.hh.

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

Cutoff for time.

Definition at line 218 of file flatzinc.hh.

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

Random seed.

Definition at line 219 of file flatzinc.hh.

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

Restart method option.

Definition at line 220 of file flatzinc.hh.

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

Restart base.

Definition at line 221 of file flatzinc.hh.

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

Restart scale factor.

Definition at line 222 of file flatzinc.hh.

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

Whether to use no-goods.

Definition at line 223 of file flatzinc.hh.

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

Depth limit for extracting no-goods.

Definition at line 224 of file flatzinc.hh.

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

Whether to catch SIGINT.

Definition at line 225 of file flatzinc.hh.

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

Script mode to run.

Definition at line 230 of file flatzinc.hh.

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

Emit statistics.

Definition at line 231 of file flatzinc.hh.

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

Output file.

Definition at line 232 of file flatzinc.hh.


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