252 return _seed.value();
261 return _step.value();
333 return _node.value();
342 return _fail.value();
351 return _time.value();
508#ifdef GECODE_HAS_CPPROFILER
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;
const char * _name
Script name.
const char * name(void) const
Return name of script.
BaseOption(const char *o, const char *e)
Initialize for option o and explanation e.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
bool value(void) const
Return current option value.
double 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.
int value(void) const
Return current option value.
IntOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
IntPropLevel cur
Current value.
IntPropLevel value(void) const
Return current option value.
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.
Value * lst
Last option value.
Value * fst
First option value.
const char * value(void) const
Return current option value.
const char * cur
Current value.
int value(void) const
Return current option value.
unsigned int value(void) const
Return current option value.
UnsignedIntOption(const char *o, const char *e, unsigned int v=0)
Initialize for option o and explanation e and default value v.
unsigned int cur
Current value.
Abstract base class for comparators.
Abstract base class for inspectors.
const char * _inst
Instance string.
const char * instance(void) const
Return instance name.
void click(Gist::Inspector *i)
Add inspector that reacts on node double clicks.
void solution(Gist::Inspector *i)
Add inspector that reacts on each new solution that is found.
void move(Gist::Inspector *i)
Add inspector that reacts on each move of the cursor.
void compare(Gist::Comparator *i)
Add comparator.
Driver::DoubleOption _relax
Probability to relax variable.
bool nogoods(void) const
Return whether nogoods are used.
Driver::StringValueOption _log_file
Where to print statistics.
unsigned int profiler_port(void) const
Return profiler execution id.
Driver::StringOption _model
General model options.
bool print_last(void) const
Return whether to print only last solution found.
int model(void) const
Return model value.
unsigned int a_d(void) const
Return adaptive recomputation distance.
double threads(void) const
Return number of parallel threads.
int symmetry(void) const
Return symmetry value.
Driver::StringOption _mode
Script mode to run.
Driver::DoubleOption _decay
Decay option.
Driver::UnsignedIntOption _nogoods_limit
Limit for no-good extraction.
unsigned int iterations(void) const
Return number of iterations.
Driver::BoolOption _nogoods
Whether to use no-goods.
Driver::UnsignedIntOption _slice
Size of a portfolio slice.
Driver::TraceOption _trace
Trace flags for tracing.
Driver::UnsignedIntOption _d_l
Discrepancy limit for LDS.
Driver::UnsignedIntOption _assets
Number of assets in a portfolio.
unsigned int node(void) const
Return node cutoff.
int propagation(void) const
Return propagation value.
Driver::UnsignedIntOption _solutions
How many solutions.
unsigned int time(void) const
Return time cutoff.
unsigned int seed(void) const
Return seed value.
unsigned int assets(void) const
Return slice size in a portfolio.
ScriptMode mode(void) const
Return mode.
Driver::UnsignedIntOption _iterations
How many iterations per sample.
Driver::StringOption _search
Search options.
Driver::StringOption _propagation
Propagation options.
Driver::IplOption _ipl
Integer propagation level.
const char * log_file(void) const
Get file name for Gecode stats.
Driver::BoolOption _profiler_info
Whether solution information should be sent to the CPProfiler.
Driver::BoolOption _print_last
Print only last solution found.
Driver::UnsignedIntOption _c_d
Copy recomputation distance.
unsigned int c_d(void) const
Return copy recomputation distance.
Driver::DoubleOption _threads
How many threads to use.
Driver::StringOption _branching
Branching options.
int search(void) const
Return search value.
Driver::StringOption _restart
Restart method option.
bool profiler_info(void) const
Return whether solution info should be sent to profiler.
Driver::UnsignedIntOption _seed
Seed option.
Driver::UnsignedIntOption _time
Cutoff for time.
Driver::DoubleOption _step
Step option.
Driver::UnsignedIntOption _profiler_port
Connect to this port.
Driver::UnsignedIntOption _r_scale
Restart scale factor.
Driver::IntOption _profiler_id
Use this execution id for the CP-profiler.
unsigned int solutions(void) const
Return number of solutions to search for.
Driver::BoolOption _interrupt
Whether to catch SIGINT.
Driver::UnsignedIntOption _a_d
Adaptive recomputation distance.
double decay(void) const
Return decay factor.
Driver::DoubleOption _r_base
Restart base.
Driver::StringOption _symmetry
General symmetry options.
double step(void) const
Return step value.
Driver::StringValueOption _out_file
Where to print solutions.
unsigned int samples(void) const
Return number of samples.
Driver::UnsignedIntOption _node
Cutoff for number of nodes.
unsigned int fail(void) const
Return failure cutoff.
int profiler_id(void) const
Return profiler execution id.
unsigned int d_l(void) const
Return discrepancy limit for LDS.
RestartMode restart(void) const
Return restart mode.
Driver::UnsignedIntOption _samples
How many samples.
int trace(void) const
Return trace flags.
const char * out_file(void) const
Get file name for solutions.
Driver::UnsignedIntOption _fail
Cutoff for number of failures.
double relax(void) const
Return default relax probability.
bool interrupt(void) const
Return interrupt behavior.
unsigned int slice(void) const
Return slice size in a portfolio.
int branching(void) const
Return branching value.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
double restart_base(void) const
Return restart base.
IntPropLevel ipl(void) const
Return integer propagation level.
unsigned int restart_scale(void) const
Return restart scale factor.
unsigned int size(void) const
Return size.
unsigned int _size
Size value.
Heap heap
The single global heap.
ScriptMode
Different modes for executing scripts.
RestartMode
Different modes for restart-based search.
IntPropLevel
Propagation levels for integer propagators.
Script commandline driver.
Gecode toplevel namespace