# SatOptions Member List

This is the complete list of members for

SatOptions, including all inherited members.

_a_d | Gecode::Options | ` [protected]` |

_assets | Gecode::Options | ` [protected]` |

_branching | Gecode::Options | ` [protected]` |

_c_d | Gecode::Options | ` [protected]` |

_d_l | Gecode::Options | ` [protected]` |

_decay | Gecode::Options | ` [protected]` |

_fail | Gecode::Options | ` [protected]` |

_interrupt | Gecode::Options | ` [protected]` |

_ipl | Gecode::Options | ` [protected]` |

_iterations | Gecode::Options | ` [protected]` |

_log_file | Gecode::Options | ` [protected]` |

_mode | Gecode::Options | ` [protected]` |

_model | Gecode::Options | ` [protected]` |

_name | Gecode::BaseOptions | ` [protected]` |

_node | Gecode::Options | ` [protected]` |

_nogoods | Gecode::Options | ` [protected]` |

_nogoods_limit | Gecode::Options | ` [protected]` |

_out_file | Gecode::Options | ` [protected]` |

_print_last | Gecode::Options | ` [protected]` |

_profiler_id | Gecode::Options | ` [protected]` |

_profiler_info | Gecode::Options | ` [protected]` |

_profiler_port | Gecode::Options | ` [protected]` |

_propagation | Gecode::Options | ` [protected]` |

_r_base | Gecode::Options | ` [protected]` |

_r_scale | Gecode::Options | ` [protected]` |

_relax | Gecode::Options | ` [protected]` |

_restart | Gecode::Options | ` [protected]` |

_samples | Gecode::Options | ` [protected]` |

_search | Gecode::Options | ` [protected]` |

_seed | Gecode::Options | ` [protected]` |

_slice | Gecode::Options | ` [protected]` |

_solutions | Gecode::Options | ` [protected]` |

_step | Gecode::Options | ` [protected]` |

_symmetry | Gecode::Options | ` [protected]` |

_threads | Gecode::Options | ` [protected]` |

_time | Gecode::Options | ` [protected]` |

_trace | Gecode::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]` |

filename | SatOptions | |

fst | Gecode::BaseOptions | ` [protected]` |

help(void) | SatOptions | ` [inline, virtual]` |

inspect | Gecode::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]` |

lst | Gecode::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]` |