60 :
BaseOption(o,e), cur(v), fst(NULL), lst(NULL) {}
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.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
int value(void) const
Return current option value.
Driver::DoubleOption _decay
Decay option.
unsigned int cur
Current value.
int search(void) const
Return search value.
void value(double v)
Set default value to v.
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.
Driver::DoubleOption _threads
How many threads to use.
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.
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.
Driver::DoubleOption _r_base
Restart base.
RestartMode
Different modes for restart-based search.
double decay(void) const
Return decay factor.
void value(unsigned int v)
Set default value to v.
int model(void) const
Return model value.
Heap heap
The single global heap.
Driver::StringOption _model
General model options.
unsigned int restart_scale(void) const
Return restart scale factor.
unsigned int _size
Size 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.
Driver::UnsignedIntOption _fail
Cutoff for number of failures.
Driver::UnsignedIntOption _samples
How many samples.
unsigned int iterations(void) const
Return number of iterations.
unsigned int node(void) const
Return node cutoff.
Driver::StringValueOption _log_file
Where to print statistics.
ScriptMode mode(void) const
Return mode.
Driver::StringOption _propagation
Propagation options.
const char * instance(void) const
Return instance name.
const char * _name
Script name.
Driver::StringOption _search
Search options.
Driver::BoolOption _print_last
Print only last solution found.
int value(void) const
Return current option value.
double value(void) const
Return current option value.
Driver::StringOption _symmetry
General symmetry options.
Driver::UnsignedIntOption _a_d
Adaptive recomputation distance.
unsigned int c_d(void) const
Return copy recomputation distance.
Driver::UnsignedIntOption _time
Cutoff for time.
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.
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.
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.
bool nogoods(void) const
Return whether nogoods are used.
Driver::StringValueOption _out_file
Where to print solutions.
const char * _inst
Instance string.
const char * value(void) const
Return current option value.
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.
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.
Driver::StringOption _icl
Integer consistency level.
unsigned int value(void) const
Return current option value.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
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.
Driver::UnsignedIntOption _r_scale
Restart scale factor.
Driver::UnsignedIntOption _node
Cutoff for number of nodes.
unsigned int solutions(void) const
Return number of solutions to search for.
RestartMode restart(void) const
Return restart mode.