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;
void value(int f)
Set default trace flags to f.
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.
int search(void) const
Return search value.
unsigned int d_l(void) const
Return discrepancy limit for LDS.
Driver::DoubleOption _decay
Decay option.
unsigned int cur
Current value.
double relax(void) const
Return default relax probability.
Driver::DoubleOption _step
Step option.
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.
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.
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.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
Driver::UnsignedIntOption _d_l
Discrepancy limit for LDS.
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.
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.
void value(unsigned int v)
Set default value to v.
Driver::StringOption _model
General model options.
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.
Driver::UnsignedIntOption _fail
Cutoff for number of failures.
void solution(Gist::Inspector *i)
Add inspector that reacts on each new solution that is found.
double step(void) const
Return step value.
Driver::UnsignedIntOption _samples
How many samples.
int propagation(void) const
Return propagation value.
void value(IntPropLevel l)
Set default level to l.
Driver::StringValueOption _log_file
Where to print statistics.
int value(void) const
Return current option value.
Driver::UnsignedIntOption _assets
Number of assets in a portfolio.
double threads(void) const
Return number of parallel threads.
Driver::StringOption _propagation
Propagation options.
const char * _name
Script name.
unsigned int seed(void) const
Return seed value.
void click(Gist::Inspector *i)
Add inspector that reacts on node double clicks.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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.
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.
void compare(Gist::Comparator *i)
Add comparator.
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.
IntPropLevel sm(IntPropLevel ipl)
Extract speed or memory from propagation level.
Driver::DoubleOption _relax
Probability to relax variable.
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.
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.
void value(const char *v)
Set default value to v.
Driver::TraceOption _trace
Trace flags for tracing.
Driver::StringValueOption _out_file
Where to print solutions.
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.
Driver::UnsignedIntOption _solutions
How many solutions.
Driver::StringOption _branching
Branching options.
void value(bool v)
Set default value to v.
IntPropLevel cur
Current value.
const char * cur
Current value.
Driver::IplOption _ipl
Integer propagation level.
Gecode toplevel namespace
Driver::UnsignedIntOption _seed
Seed option.
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.
Driver::UnsignedIntOption _r_scale
Restart scale factor.
int branching(void) const
Return branching value.
Driver::UnsignedIntOption _node
Cutoff for number of nodes.
Driver::UnsignedIntOption _slice
Size of a portfolio slice.
IntPropLevel value(void) const
Return current option value.