Generated on Fri Oct 19 11:25:42 2018 for Gecode by doxygen 1.6.3

SatOptions Member List

This is the complete list of members for SatOptions, including all inherited members.
_a_dGecode::Options [protected]
_assetsGecode::Options [protected]
_branchingGecode::Options [protected]
_c_dGecode::Options [protected]
_d_lGecode::Options [protected]
_decayGecode::Options [protected]
_failGecode::Options [protected]
_interruptGecode::Options [protected]
_iplGecode::Options [protected]
_iterationsGecode::Options [protected]
_log_fileGecode::Options [protected]
_modeGecode::Options [protected]
_modelGecode::Options [protected]
_nameGecode::BaseOptions [protected]
_nodeGecode::Options [protected]
_nogoodsGecode::Options [protected]
_nogoods_limitGecode::Options [protected]
_out_fileGecode::Options [protected]
_print_lastGecode::Options [protected]
_profiler_idGecode::Options [protected]
_profiler_infoGecode::Options [protected]
_profiler_portGecode::Options [protected]
_propagationGecode::Options [protected]
_r_baseGecode::Options [protected]
_r_scaleGecode::Options [protected]
_relaxGecode::Options [protected]
_restartGecode::Options [protected]
_samplesGecode::Options [protected]
_searchGecode::Options [protected]
_seedGecode::Options [protected]
_sliceGecode::Options [protected]
_solutionsGecode::Options [protected]
_stepGecode::Options [protected]
_symmetryGecode::Options [protected]
_threadsGecode::Options [protected]
_timeGecode::Options [protected]
_traceGecode::Options [protected]
a_d(unsigned int d)Gecode::Options [inline]
a_d(void) const Gecode::Options [inline]
add(Driver::BaseOption &o)Gecode::BaseOptions
assets(unsigned int n)Gecode::Options [inline]
assets(void) const Gecode::Options [inline]
BaseOptions(const char *s)Gecode::BaseOptions
branching(int v)Gecode::Options [inline]
branching(int v, const char *o, const char *h=NULL)Gecode::Options [inline]
branching(void) const Gecode::Options [inline]
c_d(unsigned int d)Gecode::Options [inline]
c_d(void) const Gecode::Options [inline]
d_l(unsigned int d)Gecode::Options [inline]
d_l(void) const Gecode::Options [inline]
decay(double d)Gecode::Options [inline]
decay(void) const Gecode::Options [inline]
fail(unsigned int n)Gecode::Options [inline]
fail(void) const Gecode::Options [inline]
filenameSatOptions
fstGecode::BaseOptions [protected]
help(void)SatOptions [inline, virtual]
inspectGecode::Options
interrupt(bool b)Gecode::Options [inline]
interrupt(void) const Gecode::Options [inline]
ipl(IntPropLevel i)Gecode::Options [inline]
ipl(void) const Gecode::Options [inline]
iterations(unsigned int i)Gecode::Options [inline]
iterations(void) const Gecode::Options [inline]
log_file(const char *f)Gecode::Options [inline]
log_file(void) const Gecode::Options [inline]
lstGecode::BaseOptions [protected]
mode(ScriptMode em)Gecode::Options [inline]
mode(void) const Gecode::Options [inline]
model(int v)Gecode::Options [inline]
model(int v, const char *o, const char *h=NULL)Gecode::Options [inline]
model(void) const Gecode::Options [inline]
name(void) const Gecode::BaseOptions [inline]
name(const char *)Gecode::BaseOptions
node(unsigned int n)Gecode::Options [inline]
node(void) const Gecode::Options [inline]
nogoods(bool b)Gecode::Options [inline]
nogoods(void) const Gecode::Options [inline]
nogoods_limit(unsigned int l)Gecode::Options [inline]
nogoods_limit(void) const Gecode::Options [inline]
Options(const char *s)Gecode::Options
out_file(const char *f)Gecode::Options [inline]
out_file(void) const Gecode::Options [inline]
parse(int &argc, char *argv[])SatOptions [inline]
print_last(bool p)Gecode::Options [inline]
print_last(void) const Gecode::Options [inline]
profiler_id(int i)Gecode::Options [inline]
profiler_id(void) const Gecode::Options [inline]
profiler_info(bool b)Gecode::Options [inline]
profiler_info(void) const Gecode::Options [inline]
profiler_port(unsigned int p)Gecode::Options [inline]
profiler_port(void) const Gecode::Options [inline]
propagation(int v)Gecode::Options [inline]
propagation(int v, const char *o, const char *h=NULL)Gecode::Options [inline]
propagation(void) const Gecode::Options [inline]
relax(double d)Gecode::Options [inline]
relax(void) const Gecode::Options [inline]
restart(RestartMode r)Gecode::Options [inline]
restart(void) const Gecode::Options [inline]
restart_base(double base)Gecode::Options [inline]
restart_base(void) const Gecode::Options [inline]
restart_scale(unsigned int scale)Gecode::Options [inline]
restart_scale(void) const Gecode::Options [inline]
samples(unsigned int s)Gecode::Options [inline]
samples(void) const Gecode::Options [inline]
SatOptions(const char *s)SatOptions [inline]
search(int v)Gecode::Options [inline]
search(int v, const char *o, const char *h=NULL)Gecode::Options [inline]
search(void) const Gecode::Options [inline]
seed(unsigned int s)Gecode::Options [inline]
seed(void) const Gecode::Options [inline]
slice(unsigned int n)Gecode::Options [inline]
slice(void) const Gecode::Options [inline]
solutions(unsigned int n)Gecode::Options [inline]
solutions(void) const Gecode::Options [inline]
step(double s)Gecode::Options [inline]
step(void) const Gecode::Options [inline]
symmetry(int v)Gecode::Options [inline]
symmetry(int v, const char *o, const char *h=NULL)Gecode::Options [inline]
symmetry(void) const Gecode::Options [inline]
threads(double n)Gecode::Options [inline]
threads(void) const Gecode::Options [inline]
time(unsigned int t)Gecode::Options [inline]
time(void) const Gecode::Options [inline]
trace(int f)Gecode::Options [inline]
trace(void) const Gecode::Options [inline]
~BaseOptions(void)Gecode::BaseOptions [virtual]