Gecode::FlatZinc::FlatZincOptions Class Reference

Options for running FlatZinc models More...

#include <flatzinc.hh>

List of all members.

Public Types
enum	SearchOptions { FZ_SEARCH_BAB, FZ_SEARCH_RESTART }
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
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
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::StringOption	_search
	Search engine variant.
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.
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 155 of file flatzinc.hh.

---

Member Enumeration Documentation

enum Gecode::FlatZinc::FlatZincOptions::SearchOptions

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]

Parse options from arguments argv (number is argc).

Reimplemented from Gecode::BaseOptions.

Definition at line 217 of file flatzinc.hh.

virtual void Gecode::FlatZinc::FlatZincOptions::help

(

void

)

[inline, virtual]

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:

• gecode/flatzinc.hh (Revision: 12605)