56 :
BaseOption(o,e), cur(v), fst(NULL), lst(NULL) {}
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;
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
const char * _name
Script name.
const char * name(void) const
Return name of script.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
void value(bool v)
Set default value to 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.
void value(double v)
Set default value to v.
void value(int v)
Set default value to 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.
void value(IntPropLevel l)
Set default level to l.
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.
void value(int v)
Set default value to v.
void add(int v, const char *o, const char *h=NULL)
Add option value for value v, string o, and help text h.
void value(const char *v)
Set default value to v.
const char * value(void) const
Return current option value.
const char * cur
Current value.
void value(int f)
Set default trace flags to f.
int value(void) const
Return current option value.
unsigned int value(void) const
Return current option value.
void value(unsigned 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.
unsigned int cur
Current value.
Abstract base class for comparators.
Abstract base class for inspectors.
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.
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.
Gecode toplevel namespace