Go to the documentation of this file.
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;
void move(Gist::Inspector *i)
Add inspector that reacts on each move of the cursor.
int search(void) const
Return search value.
unsigned int d_l(void) const
Return discrepancy limit for LDS.
Driver::UnsignedIntOption _slice
Size of a portfolio slice.
Driver::DoubleOption _decay
Decay option.
int model(void) const
Return model value.
BoolOption(const char *o, const char *e, bool v=false)
Initialize for option o and explanation e and default value v.
Driver::UnsignedIntOption _c_d
Copy recomputation distance.
Driver::BoolOption _interrupt
Whether to catch SIGINT.
RestartMode restart(void) const
Return restart mode.
unsigned int value(void) const
Return current option value.
Abstract base class for comparators.
IntPropLevel ipl(void) const
Return integer propagation level.
void value(const char *v)
Set default value to v.
unsigned int node(void) const
Return node cutoff.
double value(void) const
Return current option value.
Driver::UnsignedIntOption _iterations
How many iterations per sample.
Driver::UnsignedIntOption _nogoods_limit
Limit for no-good extraction.
void click(Gist::Inspector *i)
Add inspector that reacts on node double clicks.
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.
IntPropLevel value(void) const
Return current option value.
double relax(void) const
Return default relax probability.
Driver::DoubleOption _step
Step option.
bool nogoods(void) const
Return whether nogoods are used.
double restart_base(void) const
Return restart base.
Driver::DoubleOption _threads
How many threads to use.
void value(int v)
Set default value to v.
Driver::StringOption _restart
Restart method option.
Driver::BoolOption _nogoods
Whether to use no-goods.
Driver::BoolOption _profiler_info
Whether solution information should be sent to the CPProfiler.
Abstract base class for inspectors.
IntPropLevel
Propagation levels for integer propagators.
unsigned int fail(void) const
Return failure cutoff.
void solution(Gist::Inspector *i)
Add inspector that reacts on each new solution that is found.
Driver::UnsignedIntOption _d_l
Discrepancy limit for LDS.
bool interrupt(void) const
Return interrupt behavior.
Driver::UnsignedIntOption _profiler_port
Connect to this port.
unsigned int iterations(void) const
Return number of iterations.
double decay(void) const
Return decay factor.
Driver::DoubleOption _r_base
Restart base.
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.
void value(unsigned int v)
Set default value to v.
Gecode toplevel namespace
const char * name(void) const
Return name of script.
unsigned int cur
Current value.
void value(int f)
Set default trace flags to f.
void compare(Gist::Comparator *i)
Add comparator.
Driver::StringOption _model
General model options.
Driver::UnsignedIntOption _assets
Number of assets in a portfolio.
unsigned int time(void) const
Return time cutoff.
int value(void) const
Return current option value.
unsigned int profiler_port(void) const
Return profiler execution id.
unsigned int seed(void) const
Return seed value.
void value(int v)
Set default value to v.
bool value(void) const
Return current option value.
unsigned int solutions(void) const
Return number of solutions to search for.
Driver::StringOption _search
Search options.
double step(void) const
Return step value.
Driver::UnsignedIntOption _samples
How many samples.
Driver::BoolOption _print_last
Print only last solution found.
int propagation(void) const
Return propagation value.
Driver::StringValueOption _log_file
Where to print statistics.
const char * instance(void) const
Return instance name.
Driver::StringOption _symmetry
General symmetry options.
double threads(void) const
Return number of parallel threads.
Driver::StringOption _propagation
Propagation options.
Driver::UnsignedIntOption _time
Cutoff for time.
void add(int v, const char *o, const char *h=NULL)
Add option value for value v, string o, and help text h.
RestartMode
Different modes for restart-based search.
unsigned int slice(void) const
Return slice size in a portfolio.
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int value(void) const
Return current option value.
bool print_last(void) const
Return whether to print only last solution found.
unsigned int samples(void) const
Return number of samples.
bool profiler_info(void) const
Return whether solution info should be sent to profiler.
const char * value(void) const
Return current option value.
void value(IntPropLevel l)
Set default level to l.
const char * _name
Script name.
void value(double v)
Set default value to v.
Driver::UnsignedIntOption _a_d
Adaptive recomputation distance.
void value(bool v)
Set default value to v.
Driver::StringOption _mode
Script mode to run.
Driver::TraceOption _trace
Trace flags for tracing.
int value(void) const
Return current option value.
Driver::DoubleOption _relax
Probability to relax variable.
Heap heap
The single global heap.
unsigned int c_d(void) const
Return copy recomputation distance.
int symmetry(void) const
Return symmetry value.
unsigned int nogoods_limit(void) const
Return depth limit for nogoods.
unsigned int a_d(void) const
Return adaptive recomputation distance.
Driver::IntOption _profiler_id
Use this execution id for the CP-profiler.
Driver::UnsignedIntOption _solutions
How many solutions.
Driver::StringOption _branching
Branching options.
Driver::StringValueOption _out_file
Where to print solutions.
Driver::IplOption _ipl
Integer propagation level.
int profiler_id(void) const
Return profiler execution id.
unsigned int assets(void) const
Return slice size in a portfolio.
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
unsigned int size(void) const
Return size.
ScriptMode
Different modes for executing scripts.
int n
Number of negative literals for node type.
int branching(void) const
Return branching value.
DoubleOption(const char *o, const char *e, double v=0)
Initialize for option o and explanation e and default value v.
Driver::UnsignedIntOption _seed
Seed option.
Driver::UnsignedIntOption _node
Cutoff for number of nodes.
UnsignedIntOption(const char *o, const char *e, unsigned int v=0)
Initialize for option o and explanation e and default value v.
Gecode::IntArgs i({1, 2, 3, 4})
IntPropLevel cur
Current value.
StringOption(const char *o, const char *e, int v=0)
Initialize for option o and explanation e and default value v.
int p
Number of positive literals for node type.
const char * cur
Current value.
Driver::UnsignedIntOption _r_scale
Restart scale factor.