Generated on Thu Mar 7 2013 10:22:00 for Gecode by doxygen 1.8.3.1
Gecode::FlatZinc::FlatZincOptions Class Reference

Options for running FlatZinc models More...

#include <flatzinc.hh>

Public Types

enum  SearchOptions { FZ_SEARCH_BAB, FZ_SEARCH_RESTART }
 

Public Member Functions

 FlatZincOptions (const char *s)
 Constructor. More...
 
void parse (int &argc, char *argv[])
 
virtual void help (void)
 Print help text. More...
 
unsigned int solutions (void) const
 
bool allSolutions (void) const
 
double threads (void) const
 
bool free (void) const
 
SearchOptions search (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
 
- 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::UnsignedIntOption _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::StringOption _search
 Search engine variant. 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...
 

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

Member Enumeration Documentation

Enumerator
FZ_SEARCH_BAB 
FZ_SEARCH_RESTART 

Definition at line 179 of file flatzinc.hh.

Constructor & Destructor Documentation

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

Constructor.

Definition at line 184 of file flatzinc.hh.

Member Function Documentation

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

Definition at line 217 of file flatzinc.hh.

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

Print help text.

Reimplemented from Gecode::BaseOptions.

Definition at line 226 of file flatzinc.hh.

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

Definition at line 233 of file flatzinc.hh.

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

Definition at line 234 of file flatzinc.hh.

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

Definition at line 235 of file flatzinc.hh.

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

Definition at line 236 of file flatzinc.hh.

SearchOptions Gecode::FlatZinc::FlatZincOptions::search ( void  ) const
inline

Definition at line 237 of file flatzinc.hh.

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

Definition at line 240 of file flatzinc.hh.

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

Definition at line 241 of file flatzinc.hh.

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

Definition at line 242 of file flatzinc.hh.

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

Definition at line 243 of file flatzinc.hh.

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

Definition at line 244 of file flatzinc.hh.

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

Definition at line 245 of file flatzinc.hh.

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

Definition at line 246 of file flatzinc.hh.

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

Definition at line 247 of file flatzinc.hh.

Member Data Documentation

Gecode::Driver::UnsignedIntOption Gecode::FlatZinc::FlatZincOptions::_solutions
protected

How many solutions.

Definition at line 159 of file flatzinc.hh.

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

Return all solutions.

Definition at line 160 of file flatzinc.hh.

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

How many threads to use.

Definition at line 161 of file flatzinc.hh.

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

Use free search.

Definition at line 162 of file flatzinc.hh.

Gecode::Driver::StringOption Gecode::FlatZinc::FlatZincOptions::_search
protected

Search engine variant.

Definition at line 163 of file flatzinc.hh.

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

Copy recomputation distance.

Definition at line 164 of file flatzinc.hh.

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

Adaptive recomputation distance.

Definition at line 165 of file flatzinc.hh.

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

Cutoff for number of nodes.

Definition at line 166 of file flatzinc.hh.

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

Cutoff for number of failures.

Definition at line 167 of file flatzinc.hh.

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

Cutoff for time.

Definition at line 168 of file flatzinc.hh.

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

Random seed.

Definition at line 169 of file flatzinc.hh.

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

Script mode to run.

Definition at line 174 of file flatzinc.hh.

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

Emit statistics.

Definition at line 175 of file flatzinc.hh.

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

Output file.

Definition at line 176 of file flatzinc.hh.


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