60 :
BaseOption(o,e), cur(v), fst(NULL), lst(NULL) {}
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) {}
447 Options::_I::click(Gist::Inspector*
i) {
448 _click[
static_cast<int>(n_click++)] = i;
451 Options::_I::solution(Gist::Inspector*
i) {
452 _solution[
static_cast<int>(n_solution++)] = i;
455 Options::_I::move(Gist::Inspector*
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;
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.
Driver::DoubleOption _step
Step option.
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.
double step(void) const
Return step value.
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.
unsigned int seed(void) const
Return seed 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.
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.
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.
Driver::UnsignedIntOption _seed
Seed option.
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.