Generated on Wed Nov 5 2014 05:18:40 for Gecode by doxygen 1.7.6.1
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.
unsigned 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

Search options

Gecode::Driver::UnsignedIntOption _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::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.

Execution options

Gecode::Driver::StringOption _mode
 Script mode to run.
Gecode::Driver::BoolOption _stat
 Emit statistics.
Gecode::Driver::StringValueOption _output
 Output file.

Detailed Description

Options for running FlatZinc models

Definition at line 205 of file flatzinc.hh.


Constructor & Destructor Documentation

Constructor.

Definition at line 236 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 283 of file flatzinc.hh.

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

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 292 of file flatzinc.hh.

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

Definition at line 310 of file flatzinc.hh.

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

Definition at line 314 of file flatzinc.hh.

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.


Member Data Documentation

How many solutions.

Definition at line 209 of file flatzinc.hh.

Return all solutions.

Definition at line 210 of file flatzinc.hh.

How many threads to use.

Definition at line 211 of file flatzinc.hh.

Use free search.

Definition at line 212 of file flatzinc.hh.

Decay option.

Definition at line 213 of file flatzinc.hh.

Copy recomputation distance.

Definition at line 214 of file flatzinc.hh.

Adaptive recomputation distance.

Definition at line 215 of file flatzinc.hh.

Cutoff for number of nodes.

Definition at line 216 of file flatzinc.hh.

Cutoff for number of failures.

Definition at line 217 of file flatzinc.hh.

Cutoff for time.

Definition at line 218 of file flatzinc.hh.

Random seed.

Definition at line 219 of file flatzinc.hh.

Restart method option.

Definition at line 220 of file flatzinc.hh.

Restart base.

Definition at line 221 of file flatzinc.hh.

Restart scale factor.

Definition at line 222 of file flatzinc.hh.

Whether to use no-goods.

Definition at line 223 of file flatzinc.hh.

Depth limit for extracting no-goods.

Definition at line 224 of file flatzinc.hh.

Whether to catch SIGINT.

Definition at line 225 of file flatzinc.hh.

Script mode to run.

Definition at line 230 of file flatzinc.hh.

Emit statistics.

Definition at line 231 of file flatzinc.hh.


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