Generated on Mon Nov 30 23:53:48 2009 for Gecode by doxygen 1.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).
unsigned int solutions (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
Gecode::ScriptMode mode (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 _parallel
 Use all cores.
Gecode::Driver::BoolOption _free
 Use free search.
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.

Execution options



Gecode::Driver::StringOption _mode
 Script mode to run.

Detailed Description

Options for running FlatZinc models.

Definition at line 138 of file flatzinc.hh.


Constructor & Destructor Documentation

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

Constructor.

Definition at line 160 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).

Reimplemented from Gecode::BaseOptions.

Definition at line 186 of file flatzinc.hh.

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

Definition at line 194 of file flatzinc.hh.

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

Definition at line 195 of file flatzinc.hh.

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

Definition at line 196 of file flatzinc.hh.

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

Definition at line 197 of file flatzinc.hh.

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

Definition at line 198 of file flatzinc.hh.

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

Definition at line 199 of file flatzinc.hh.

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

Definition at line 200 of file flatzinc.hh.

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

Definition at line 201 of file flatzinc.hh.

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

Definition at line 202 of file flatzinc.hh.


Member Data Documentation

How many solutions.

Definition at line 142 of file flatzinc.hh.

Return all solutions.

Definition at line 143 of file flatzinc.hh.

How many threads to use.

Definition at line 144 of file flatzinc.hh.

Use all cores.

Definition at line 145 of file flatzinc.hh.

Use free search.

Definition at line 146 of file flatzinc.hh.

Copy recomputation distance.

Definition at line 147 of file flatzinc.hh.

Adaptive recomputation distance.

Definition at line 148 of file flatzinc.hh.

Cutoff for number of nodes.

Definition at line 149 of file flatzinc.hh.

Cutoff for number of failures.

Definition at line 150 of file flatzinc.hh.

Cutoff for time.

Definition at line 151 of file flatzinc.hh.

Script mode to run.

Definition at line 156 of file flatzinc.hh.


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