SizeOptions Member List

This is the complete list of members for SizeOptions, including all inherited members.

_a_d	Options	[protected]
_branching	Options	[protected]
_c_d	Options	[protected]
_fail	Options	[protected]
_icl	Options	[protected]
_iterations	Options	[protected]
_mode	Options	[protected]
_model	Options	[protected]
_name	Options	[protected]
_pk	Options	[protected]
_propagation	Options	[protected]
_samples	Options	[protected]
_search	Options	[protected]
_size	SizeOptions	[protected]
_solutions	Options	[protected]
_time	Options	[protected]
a_d(unsigned int d)	Options	[inline]
a_d(void) const	Options	[inline]
add(BaseOption &o)	Options	[inline]
branching(int v)	Options	[inline]
branching(int v, const char *o, const char *h=NULL)	Options	[inline]
branching(void) const	Options	[inline]
c_d(unsigned int d)	Options	[inline]
c_d(void) const	Options	[inline]
fail(unsigned int n)	Options	[inline]
fail(void) const	Options	[inline]
fst	Options	[protected]
help(void)	SizeOptions	[virtual]
icl(IntConLevel i)	Options
icl(void) const	Options	[inline]
iterations(unsigned int i)	Options	[inline]
iterations(void) const	Options	[inline]
lst	Options	[protected]
mode(ExampleMode em)	Options	[inline]
mode(void) const	Options	[inline]
model(int v)	Options	[inline]
model(int v, const char *o, const char *h=NULL)	Options	[inline]
model(void) const	Options	[inline]
name(void) const	Options	[inline]
Options(const char *s)	Options
parse(int &argc, char *argv[])	SizeOptions
pk(PropKind p)	Options
pk(void) const	Options	[inline]
propagation(int v)	Options	[inline]
propagation(int v, const char *o, const char *h=NULL)	Options	[inline]
propagation(void) const	Options	[inline]
samples(unsigned int s)	Options	[inline]
samples(void) const	Options	[inline]
search(int v)	Options	[inline]
search(int v, const char *o, const char *h=NULL)	Options	[inline]
search(void) const	Options	[inline]
size(unsigned int s)	SizeOptions	[inline]
size(void) const	SizeOptions	[inline]
SizeOptions(const char *s)	SizeOptions
solutions(unsigned int n)	Options	[inline]
solutions(void) const	Options	[inline]
time(unsigned int t)	Options	[inline]
time(void) const	Options	[inline]
~Options(void)	Options	[inline, virtual]