199 return static_cast<IntConLevel>(
_icl.
value());
372 return static_cast<ScriptMode>(
_mode.
value());
422 #ifdef GECODE_HAS_GIST 424 Options::_I::_I(
void) : _click(
heap,1), n_click(0),
425 _solution(
heap,1), n_solution(0), _move(
heap,1), n_move(0),
426 _compare(
heap,1), n_compare(0) {}
429 Options::_I::click(Gist::Inspector*
i) {
430 _click[static_cast<int>(n_click++)] =
i;
433 Options::_I::solution(Gist::Inspector*
i) {
434 _solution[static_cast<int>(n_solution++)] =
i;
437 Options::_I::move(Gist::Inspector*
i) {
438 _move[static_cast<int>(n_move++)] =
i;
442 _compare[static_cast<int>(n_compare++)] =
i;
445 Options::_I::click(
unsigned int i)
const {
446 return (
i < n_click) ? _click[
i] : NULL;
449 Options::_I::solution(
unsigned int i)
const {
450 return (
i < n_solution) ? _solution[
i] : NULL;
453 Options::_I::move(
unsigned int i)
const {
454 return (
i < n_move) ? _move[
i] : NULL;
458 return (
i < n_compare) ? _compare[
i] : NULL;
Driver::UnsignedIntOption _c_d
Copy recomputation distance.
Driver::BoolOption _interrupt
Whether to catch SIGINT.
void value(int v)
Set default value to v.
UnsignedIntOption(const char *o, const char *e, unsigned int v=0)
Initialize for option o and explanation e and default value v.
Driver::UnsignedIntOption _iterations
How many iterations per sample.
IntConLevel
Consistency levels for integer propagators.
int search(void) const
Return search value.
Driver::DoubleOption _decay
Decay option.
unsigned int cur
Current value.
int model(void) const
Return model value.
void value(double v)
Set default value to v.
ScriptMode
Different modes for executing scripts.
RestartMode restart(void) const
Return restart mode.
bool nogoods(void) const
Return whether nogoods are used.
Driver::DoubleOption _threads
How many threads to use.
double restart_base(void) const
Return restart base.
unsigned int node(void) const
Return node cutoff.
Driver::UnsignedIntOption _nogoods_limit
Limit for no-good extraction.
Driver::StringOption _restart
Restart method option.
Driver::BoolOption _nogoods
Whether to use no-goods.
void add(int v, const char *o, const char *h=NULL)
Add option value for value v, string o, and help text h.
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.
struct Gecode::@511::NNF::@54::@55 b
For binary nodes (and, or, eqv)
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.
Driver::DoubleOption _r_base
Restart base.
RestartMode
Different modes for restart-based search.
bool value(void) const
Return current option value.
double value(void) const
Return current option value.
void value(unsigned int v)
Set default value to v.
Heap heap
The single global heap.
Driver::StringOption _model
General model options.
unsigned int time(void) const
Return time cutoff.
unsigned int iterations(void) const
Return number of iterations.
unsigned int _size
Size value.
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.
Driver::UnsignedIntOption _fail
Cutoff for number of failures.
Driver::UnsignedIntOption _samples
How many samples.
int propagation(void) const
Return propagation value.
IntConLevel icl(void) const
Return integer consistency level.
Driver::StringValueOption _log_file
Where to print statistics.
int value(void) const
Return current option value.
double threads(void) const
Return number of parallel threads.
Driver::StringOption _propagation
Propagation options.
const char * _name
Script name.
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.
Driver::StringOption _search
Search options.
Driver::BoolOption _print_last
Print only last solution found.
Driver::StringOption _symmetry
General symmetry options.
Driver::UnsignedIntOption _a_d
Adaptive recomputation distance.
Driver::UnsignedIntOption _time
Cutoff for time.
int value(void) const
Return current option value.
Driver::StringOption _mode
Script mode to run.
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.
DoubleOption(const char *o, const char *e, double v=0)
Initialize for option o and explanation e and default value v.
void value(const char *v)
Set default value to v.
Driver::StringValueOption _out_file
Where to print solutions.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
unsigned int a_d(void) const
Return adaptive recomputation distance.
const char * _inst
Instance string.
Driver::UnsignedIntOption _solutions
How many solutions.
Driver::StringOption _branching
Branching options.
void value(bool v)
Set default value to v.
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.
Driver::StringOption _icl
Integer consistency level.
Gecode toplevel namespace
unsigned int size(void) const
Return size.
Driver::UnsignedIntOption _r_scale
Restart scale factor.
int branching(void) const
Return branching value.
Driver::UnsignedIntOption _node
Cutoff for number of nodes.