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.
int search(void) const
Return search value.
unsigned int cur
Current value.
int model(void) const
Return model value.
ScriptMode
Different modes for executing scripts.
RestartMode restart(void) const
Return restart mode.
bool nogoods(void) const
Return whether nogoods are used.
Abstract base class for comparators.
double restart_base(void) const
Return restart base.
unsigned int node(void) const
Return node cutoff.
unsigned int restart_scale(void) const
Return restart scale factor.
ScriptMode mode(void) const
Return mode.
IntOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
const char * log_file(void) const
Get file name for Gecode stats.
unsigned int fail(void) const
Return failure cutoff.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
bool interrupt(void) const
Return interrupt behavior.
const char * instance(void) const
Return instance name.
double decay(void) const
Return decay factor.
RestartMode
Different modes for restart-based search.
bool value(void) const
Return current option value.
Abstract base class for inspectors.
double value(void) const
Return current option value.
Heap heap
The single global heap.
unsigned int time(void) const
Return time cutoff.
unsigned int iterations(void) const
Return number of iterations.
int p
Number of positive literals for node type.
const char * out_file(void) const
Get file name for solutions.
Gecode::IntArgs i(4, 1, 2, 3, 4)
unsigned int value(void) const
Return current option value.
int n
Number of negative literals for node type.
double step(void) const
Return step value.
int propagation(void) const
Return propagation value.
IntConLevel icl(void) const
Return integer consistency level.
int value(void) const
Return current option value.
double threads(void) const
Return number of parallel threads.
unsigned int seed(void) const
Return seed value.
const char * name(void) const
Return name of script.
bool print_last(void) const
Return whether to print only last solution found.
unsigned int solutions(void) const
Return number of solutions to search for.
int value(void) const
Return current option value.
StringOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
unsigned int c_d(void) const
Return copy recomputation distance.
int symmetry(void) const
Return symmetry value.
unsigned int samples(void) const
Return number of samples.
const char * value(void) const
Return current option 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.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
unsigned int a_d(void) const
Return adaptive recomputation distance.
const char * cur
Current value.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
Gecode toplevel namespace
unsigned int size(void) const
Return size.
int branching(void) const
Return branching value.