190 return _model.value();
199 _symmetry.add(v,o,h);
203 return _symmetry.value();
208 _propagation.value(v);
212 _propagation.add(v,o,h);
216 return _propagation.value();
234 _branching.add(v,o,h);
238 return _branching.value();
247 return _decay.value();
256 return _seed.value();
265 return _step.value();
283 return _search.value();
292 return _solutions.value();
301 return _threads.value();
337 return _node.value();
346 return _fail.value();
355 return _time.value();
364 return _assets.value();
373 return _slice.value();
391 return _r_base.value();
400 return _r_scale.value();
409 return _nogoods.value();
414 _nogoods_limit.value(l);
418 return _nogoods_limit.value();
427 return _relax.value();
438 return _interrupt.value();
452 return static_cast<ScriptMode>(_mode.value());
461 return _samples.value();
466 _iterations.value(i);
470 return _iterations.value();
475 _print_last.value(p);
479 return _print_last.value();
489 return _out_file.value();
499 return _log_file.value();
509 return _trace.value();
512 #ifdef GECODE_HAS_GIST 515 _solution(
heap,1), n_solution(0), _move(
heap,1), n_move(0),
516 _compare(
heap,1), n_compare(0) {}
520 _click[
static_cast<int>(n_click++)] = i;
524 _solution[
static_cast<int>(n_solution++)] = i;
528 _move[
static_cast<int>(n_move++)] = i;
532 _compare[
static_cast<int>(n_compare++)] = i;
536 return (i < n_click) ? _click[
i] : NULL;
540 return (i < n_solution) ? _solution[
i] : NULL;
544 return (i < n_move) ? _move[
i] : NULL;
548 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.
int search(void) const
Return search value.
unsigned int d_l(void) const
Return discrepancy limit for LDS.
unsigned int cur
Current value.
double relax(void) const
Return default relax probability.
int model(void) const
Return model value.
ScriptMode
Different modes for executing scripts.
RestartMode restart(void) const
Return restart mode.
int value(void) const
Return current option value.
bool nogoods(void) const
Return whether nogoods are used.
IntPropLevel ipl(void) const
Return integer propagation level.
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.
int trace(void) const
Return trace flags.
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.
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.
void solution(Gist::Inspector *i)
Add inspector that reacts on each new solution that is found.
double step(void) const
Return step value.
int propagation(void) const
Return propagation value.
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.
void click(Gist::Inspector *i)
Add inspector that reacts on node double clicks.
unsigned int slice(void) const
Return slice size in a portfolio.
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.
void compare(Gist::Comparator *i)
Add comparator.
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.
IntPropLevel sm(IntPropLevel ipl)
Extract speed or memory from propagation level.
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.
IntPropLevel
Propagation levels for integer propagators.
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.
Heap heap
The single global heap.
unsigned int a_d(void) const
Return adaptive recomputation distance.
const char * cur
Current value.
Gecode toplevel namespace
unsigned int assets(void) const
Return slice size in a portfolio.
void move(Gist::Inspector *i)
Add inspector that reacts on each move of the cursor.
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
unsigned int size(void) const
Return size.
int branching(void) const
Return branching value.
IntPropLevel value(void) const
Return current option value.