186 return _model.value();
195 _symmetry.add(v,o,h);
199 return _symmetry.value();
204 _propagation.value(v);
208 _propagation.add(v,o,h);
212 return _propagation.value();
230 _branching.add(v,o,h);
234 return _branching.value();
243 return _decay.value();
252 return _seed.value();
261 return _step.value();
279 return _search.value();
288 return _solutions.value();
297 return _threads.value();
333 return _node.value();
342 return _fail.value();
351 return _time.value();
360 return _assets.value();
369 return _slice.value();
387 return _r_base.value();
396 return _r_scale.value();
405 return _nogoods.value();
410 _nogoods_limit.value(l);
414 return _nogoods_limit.value();
423 return _relax.value();
434 return _interrupt.value();
448 return static_cast<ScriptMode>(_mode.value());
457 return _samples.value();
462 _iterations.value(i);
466 return _iterations.value();
471 _print_last.value(p);
475 return _print_last.value();
485 return _out_file.value();
495 return _log_file.value();
505 return _trace.value();
508 #ifdef GECODE_HAS_CPPROFILER 516 _profiler_id.value(i);
520 return _profiler_id.value();
524 _profiler_port.value(p);
528 return _profiler_port.value();
532 _profiler_info.value(b);
536 return _profiler_info.value();
541 #ifdef GECODE_HAS_GIST 544 _solution(
heap,1), n_solution(0), _move(
heap,1), n_move(0),
545 _compare(
heap,1), n_compare(0) {}
549 _click[
static_cast<int>(n_click++)] = i;
553 _solution[
static_cast<int>(n_solution++)] = i;
557 _move[
static_cast<int>(n_move++)] = i;
561 _compare[
static_cast<int>(n_compare++)] = i;
565 return (i < n_click) ? _click[
i] : NULL;
569 return (i < n_solution) ? _solution[
i] : NULL;
573 return (i < n_move) ? _move[
i] : NULL;
577 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 profiler_port(void) const
Return profiler execution id.
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.
bool profiler_info(void) const
Return whether solution info should be sent to profiler.
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.
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.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
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.
int profiler_id(void) const
Return profiler execution id.
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.
unsigned int size(void) const
Return size.
int branching(void) const
Return branching value.
IntPropLevel value(void) const
Return current option value.