164 return _model.value();
173 _symmetry.add(v,o,h);
177 return _symmetry.value();
182 _propagation.value(v);
186 _propagation.add(v,o,h);
190 return _propagation.value();
208 _branching.add(v,o,h);
212 return _branching.value();
221 return _decay.value();
230 return _seed.value();
239 return _step.value();
257 return _search.value();
266 return _solutions.value();
275 return _threads.value();
302 return _node.value();
311 return _fail.value();
320 return _time.value();
338 return _r_base.value();
347 return _r_scale.value();
356 return _nogoods.value();
361 _nogoods_limit.value(l);
365 return _nogoods_limit.value();
376 return _interrupt.value();
390 return static_cast<ScriptMode>(_mode.value());
399 return _samples.value();
404 _iterations.value(i);
408 return _iterations.value();
413 _print_last.value(p);
417 return _print_last.value();
427 return _out_file.value();
437 return _log_file.value();
440 #ifdef GECODE_HAS_GIST 442 Options::_I::_I(
void) : _click(
heap,1), n_click(0),
443 _solution(
heap,1), n_solution(0), _move(
heap,1), n_move(0),
444 _compare(
heap,1), n_compare(0) {}
448 _click[
static_cast<int>(n_click++)] = i;
452 _solution[
static_cast<int>(n_solution++)] = i;
456 _move[
static_cast<int>(n_move++)] = i;
460 _compare[
static_cast<int>(n_compare++)] = i;
463 Options::_I::click(
unsigned int i)
const {
464 return (i < n_click) ? _click[
i] : NULL;
467 Options::_I::solution(
unsigned int i)
const {
468 return (i < n_solution) ? _solution[
i] : NULL;
471 Options::_I::move(
unsigned int i)
const {
472 return (i < n_move) ? _move[
i] : NULL;
476 return (i < n_compare) ? _compare[
i] : NULL;
UnsignedIntOption(const char *o, const char *e, unsigned int v=0)
Initialize for option o and explanation e and default value v.
IntConLevel
Consistency levels for integer propagators.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
int value(void) const
Return current option value.
unsigned int cur
Current value.
int search(void) const
Return search value.
ScriptMode
Different modes for executing scripts.
unsigned int fail(void) const
Return failure cutoff.
bool print_last(void) const
Return whether to print only last solution found.
Abstract base class for comparators.
IntOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
int propagation(void) const
Return propagation value.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
IntConLevel icl(void) const
Return integer consistency level.
double step(void) const
Return step value.
RestartMode
Different modes for restart-based search.
Abstract base class for inspectors.
double decay(void) const
Return decay factor.
int model(void) const
Return model value.
Heap heap
The single global heap.
unsigned int restart_scale(void) const
Return restart scale factor.
unsigned int seed(void) const
Return seed value.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
unsigned int iterations(void) const
Return number of iterations.
unsigned int node(void) const
Return node cutoff.
ScriptMode mode(void) const
Return mode.
const char * instance(void) const
Return instance name.
int value(void) const
Return current option value.
double value(void) const
Return current option value.
unsigned int c_d(void) const
Return copy recomputation distance.
StringOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
double restart_base(void) const
Return restart base.
const char * out_file(void) const
Get file name for solutions.
int symmetry(void) const
Return symmetry value.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
DoubleOption(const char *o, const char *e, double v=0)
Initialize for option o and explanation e and default value v.
bool nogoods(void) const
Return whether nogoods are used.
const char * value(void) const
Return current option value.
const char * cur
Current value.
unsigned int size(void) const
Return size.
bool value(void) const
Return current option value.
int branching(void) const
Return branching value.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
unsigned int value(void) const
Return current option value.
Gecode toplevel namespace
bool interrupt(void) const
Return interrupt behavior.
double threads(void) const
Return number of parallel threads.
const char * log_file(void) const
Get file name for Gecode stats.
unsigned int a_d(void) const
Return adaptive recomputation distance.
const char * name(void) const
Return name of script.
unsigned int time(void) const
Return time cutoff.
unsigned int samples(void) const
Return number of samples.
unsigned int solutions(void) const
Return number of solutions to search for.
RestartMode restart(void) const
Return restart mode.