Options_fimcp Class Reference

Options for examples with additional size parameter. More...

Inheritance diagram for Options_fimcp:
Options Options

List of all members.

Public Member Functions

 Options_fimcp (const char *e)
 Initialize options for example with name e.
void add_specific (BaseOption &o)
void branchval (int v)
int branchval (void) const
void output (int v)
int output (void) const
void datafile (const char *s)
const char * datafile (void) const
void attrfile (const char *s)
const char * attrfile (void) const
void solfile (const char *s)
const char * solfile (void) const
void cclause (unsigned int v)
unsigned int cclause (void) const
void freq (float v)
unsigned int getFreq (unsigned int total) const
void infreq (float v)
unsigned int getInfreq (unsigned int total) const
void bound1_val (unsigned int v)
unsigned int bound1_val (void) const
void bound1_op (int r)
int bound1_op (void) const
void bound2_val (unsigned int v)
unsigned int bound2_val (void) const
void bound2_op (int r)
int bound2_op (void) const
void alpha (unsigned int v)
unsigned int alpha (void) const
void beta (unsigned int v)
unsigned int beta (void) const
void delta (float v)
float delta (void) const
void epsilon (float v)
float epsilon (void) const
void description (const char *s)
void usage (const char *s)
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc).
virtual void help (void)
 Options_fimcp (const char *e)
 Initialize options for example with name e.
void add_specific (BaseOption &o)
void branchval (int v)
int branchval (void) const
void output (int v)
int output (void) const
void datafile (const char *s)
const char * datafile (void) const
void attrfile (const char *s)
const char * attrfile (void) const
void solfile (const char *s)
const char * solfile (void) const
void cclause (unsigned int v)
unsigned int cclause (void) const
void freq (float v)
unsigned int getFreq (unsigned int total) const
void infreq (float v)
unsigned int getInfreq (unsigned int total) const
void bound1_val (unsigned int v)
unsigned int bound1_val (void) const
void bound1_op (int r)
int bound1_op (void) const
void bound2_val (unsigned int v)
unsigned int bound2_val (void) const
void bound2_op (int r)
int bound2_op (void) const
void alpha (unsigned int v)
unsigned int alpha (void) const
void beta (unsigned int v)
unsigned int beta (void) const
void delta (float v)
float delta (void) const
void epsilon (float v)
float epsilon (void) const
void description (const char *s)
void usage (const char *s)
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc).
virtual void help (void)

Protected Attributes

StringOption _branchval
StringOption _output
vector< BaseOption * > _list_specific
const char * _description
const char * _usage
TextOption _datafile
TextOption _attrfile
TextOption _solfile
UnsignedIntOption _cclause
FloatOption _freq
FloatOption _infreq
StringUIntOption _bound1
StringUIntOption _bound2
UnsignedIntOption _alpha
UnsignedIntOption _beta
FloatOption _delta
FloatOption _epsilon

Detailed Description

Options for examples with additional size parameter.

Definition at line 57 of file options_fimcp.cpp.

Constructor & Destructor Documentation

Options_fimcp::Options_fimcp ( const char *  e  )  [inline]

Initialize options for example with name e.

< Equality ($=$)

< Disequality ($\neq$)

< Less or equal ($\leq$)

< Less ($<$)

< Greater or equal ($\geq$)

< Greater ($>$)

< Equality ($=$)

< Disequality ($\neq$)

< Less or equal ($\leq$)

< Less ($<$)

< Greater or equal ($\geq$)

< Greater ($>$)

Definition at line 81 of file options_fimcp.cpp.

References _bound1, _bound2, _branchval, _cclause, _datafile, _output, _solfile, StringUIntOption::add(), add_specific(), OUT_CPVARS, OUT_FIMI, OUT_FULL, and OUT_NONE.

Options_fimcp::Options_fimcp ( const char *  e  )  [inline]

Initialize options for example with name e.

< Equality ($=$)

< Disequality ($\neq$)

< Less or equal ($\leq$)

< Less ($<$)

< Greater or equal ($\geq$)

< Greater ($>$)

< Equality ($=$)

< Disequality ($\neq$)

< Less or equal ($\leq$)

< Less ($<$)

< Greater or equal ($\geq$)

< Greater ($>$)

Definition at line 81 of file options_fimcp.cpp.

References _bound1, _bound2, _branchval, _cclause, _datafile, _output, _solfile, StringUIntOption::add(), add_specific(), OUT_CPVARS, OUT_FIMI, OUT_FULL, and OUT_NONE.

Member Function Documentation

void Options_fimcp::add_specific ( BaseOption &  o  )  [inline]

Definition at line 155 of file options_fimcp.cpp.

References _list_specific.

void Options_fimcp::add_specific ( BaseOption &  o  )  [inline]

Definition at line 155 of file options_fimcp.cpp.

References _list_specific.

Referenced by alpha(), attrfile(), beta(), bound1_val(), bound2_val(), delta(), epsilon(), freq(), infreq(), and Options_fimcp().

unsigned int Options_fimcp::alpha ( void   )  const [inline]

Definition at line 274 of file options_fimcp.cpp.

References _alpha.

void Options_fimcp::alpha ( unsigned int  v  )  [inline]

Definition at line 270 of file options_fimcp.cpp.

References _alpha, and add_specific().

unsigned int Options_fimcp::alpha ( void   )  const [inline]

Definition at line 274 of file options_fimcp.cpp.

References _alpha.

void Options_fimcp::alpha ( unsigned int  v  )  [inline]

Definition at line 270 of file options_fimcp.cpp.

References _alpha, and add_specific().

Referenced by main(), Cimcp_Fmonotone::run(), and Cimcp_Fconvex::run().

const char* Options_fimcp::attrfile ( void   )  const [inline]

Definition at line 191 of file options_fimcp.cpp.

References _attrfile, and TextOption::value().

void Options_fimcp::attrfile ( const char *  s  )  [inline]

Definition at line 187 of file options_fimcp.cpp.

References _attrfile, add_specific(), and TextOption::value().

const char* Options_fimcp::attrfile ( void   )  const [inline]

Definition at line 191 of file options_fimcp.cpp.

References _attrfile, and TextOption::value().

void Options_fimcp::attrfile ( const char *  s  )  [inline]

Definition at line 187 of file options_fimcp.cpp.

References _attrfile, add_specific(), and TextOption::value().

Referenced by main(), and Fimcp_basic::run().

unsigned int Options_fimcp::beta ( void   )  const [inline]

Definition at line 282 of file options_fimcp.cpp.

References _beta.

void Options_fimcp::beta ( unsigned int  v  )  [inline]

Definition at line 278 of file options_fimcp.cpp.

References _beta, and add_specific().

unsigned int Options_fimcp::beta ( void   )  const [inline]

Definition at line 282 of file options_fimcp.cpp.

References _beta.

void Options_fimcp::beta ( unsigned int  v  )  [inline]

Definition at line 278 of file options_fimcp.cpp.

References _beta, and add_specific().

int Options_fimcp::bound1_op ( void   )  const [inline]

Definition at line 251 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::oper().

void Options_fimcp::bound1_op ( int  r  )  [inline]

Definition at line 248 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::oper().

int Options_fimcp::bound1_op ( void   )  const [inline]

Definition at line 251 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::oper().

void Options_fimcp::bound1_op ( int  r  )  [inline]

Definition at line 248 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::oper().

Referenced by main(), and Fimcp_basic::run().

unsigned int Options_fimcp::bound1_val ( void   )  const [inline]

Definition at line 245 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::value().

void Options_fimcp::bound1_val ( unsigned int  v  )  [inline]

Definition at line 241 of file options_fimcp.cpp.

References _bound1, add_specific(), and StringUIntOption::value().

unsigned int Options_fimcp::bound1_val ( void   )  const [inline]

Definition at line 245 of file options_fimcp.cpp.

References _bound1, and StringUIntOption::value().

void Options_fimcp::bound1_val ( unsigned int  v  )  [inline]

Definition at line 241 of file options_fimcp.cpp.

References _bound1, add_specific(), and StringUIntOption::value().

Referenced by main(), and Fimcp_basic::run().

int Options_fimcp::bound2_op ( void   )  const [inline]

Definition at line 265 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::oper().

void Options_fimcp::bound2_op ( int  r  )  [inline]

Definition at line 262 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::oper().

int Options_fimcp::bound2_op ( void   )  const [inline]

Definition at line 265 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::oper().

void Options_fimcp::bound2_op ( int  r  )  [inline]

Definition at line 262 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::oper().

Referenced by main().

unsigned int Options_fimcp::bound2_val ( void   )  const [inline]

Definition at line 259 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::value().

void Options_fimcp::bound2_val ( unsigned int  v  )  [inline]

Definition at line 255 of file options_fimcp.cpp.

References _bound2, add_specific(), and StringUIntOption::value().

unsigned int Options_fimcp::bound2_val ( void   )  const [inline]

Definition at line 259 of file options_fimcp.cpp.

References _bound2, and StringUIntOption::value().

void Options_fimcp::bound2_val ( unsigned int  v  )  [inline]

Definition at line 255 of file options_fimcp.cpp.

References _bound2, add_specific(), and StringUIntOption::value().

Referenced by main().

int Options_fimcp::branchval ( void   )  const [inline]

Definition at line 163 of file options_fimcp.cpp.

References _branchval.

void Options_fimcp::branchval ( int  v  )  [inline]

Definition at line 160 of file options_fimcp.cpp.

References _branchval.

int Options_fimcp::branchval ( void   )  const [inline]

Definition at line 163 of file options_fimcp.cpp.

References _branchval.

void Options_fimcp::branchval ( int  v  )  [inline]

Definition at line 160 of file options_fimcp.cpp.

References _branchval.

Referenced by Fimcp_basic::run(), Emulator_2support::run(), Emulator_1support::run(), Cimcp_Fmonotone::run(), Cimcp_Fconvex::run(), and Cimcp_convexhull::run().

unsigned int Options_fimcp::cclause ( void   )  const [inline]

Definition at line 209 of file options_fimcp.cpp.

References _cclause.

void Options_fimcp::cclause ( unsigned int  v  )  [inline]

Definition at line 205 of file options_fimcp.cpp.

References _cclause.

unsigned int Options_fimcp::cclause ( void   )  const [inline]

Definition at line 209 of file options_fimcp.cpp.

References _cclause.

void Options_fimcp::cclause ( unsigned int  v  )  [inline]

Definition at line 205 of file options_fimcp.cpp.

References _cclause.

Referenced by Fimcp_basic::run(), Emulator_2support::run(), Emulator_1support::run(), Cimcp_Fmonotone::run(), Cimcp_Fconvex::run(), and Cimcp_convexhull::run().

const char* Options_fimcp::datafile ( void   )  const [inline]

Definition at line 182 of file options_fimcp.cpp.

References _datafile, and TextOption::value().

void Options_fimcp::datafile ( const char *  s  )  [inline]

Definition at line 178 of file options_fimcp.cpp.

References _datafile, and TextOption::value().

const char* Options_fimcp::datafile ( void   )  const [inline]

Definition at line 182 of file options_fimcp.cpp.

References _datafile, and TextOption::value().

void Options_fimcp::datafile ( const char *  s  )  [inline]

Definition at line 178 of file options_fimcp.cpp.

References _datafile, and TextOption::value().

Referenced by Fimcp_basic::common_construction(), and main().

float Options_fimcp::delta ( void   )  const [inline]

Definition at line 291 of file options_fimcp.cpp.

References _delta, and FloatOption::value().

void Options_fimcp::delta ( float  v  )  [inline]

Definition at line 287 of file options_fimcp.cpp.

References _delta, add_specific(), and FloatOption::value().

float Options_fimcp::delta ( void   )  const [inline]

Definition at line 291 of file options_fimcp.cpp.

References _delta, and FloatOption::value().

void Options_fimcp::delta ( float  v  )  [inline]

Definition at line 287 of file options_fimcp.cpp.

References _delta, add_specific(), and FloatOption::value().

Referenced by main(), Emulator_2support::run(), Emulator_1support::run(), Cimcp_Fmonotone::run(), and Cimcp_Fconvex::run().

void Options_fimcp::description ( const char *  s  )  [inline]

Definition at line 304 of file options_fimcp.cpp.

References _description.

void Options_fimcp::description ( const char *  s  )  [inline]

Definition at line 304 of file options_fimcp.cpp.

References _description.

Referenced by main().

float Options_fimcp::epsilon ( void   )  const [inline]

Definition at line 299 of file options_fimcp.cpp.

References _epsilon, and FloatOption::value().

void Options_fimcp::epsilon ( float  v  )  [inline]

Definition at line 295 of file options_fimcp.cpp.

References _epsilon, add_specific(), and FloatOption::value().

float Options_fimcp::epsilon ( void   )  const [inline]

Definition at line 299 of file options_fimcp.cpp.

References _epsilon, and FloatOption::value().

void Options_fimcp::epsilon ( float  v  )  [inline]

Definition at line 295 of file options_fimcp.cpp.

References _epsilon, add_specific(), and FloatOption::value().

void Options_fimcp::freq ( float  v  )  [inline]

Definition at line 214 of file options_fimcp.cpp.

References _freq, add_specific(), and FloatOption::value().

void Options_fimcp::freq ( float  v  )  [inline]

Definition at line 214 of file options_fimcp.cpp.

References _freq, add_specific(), and FloatOption::value().

Referenced by main().

unsigned int Options_fimcp::getFreq ( unsigned int  total  )  const [inline]

Definition at line 218 of file options_fimcp.cpp.

References _freq, and FloatOption::value().

unsigned int Options_fimcp::getFreq ( unsigned int  total  )  const [inline]

Definition at line 218 of file options_fimcp.cpp.

References _freq, and FloatOption::value().

Referenced by Fimcp_basic::common_construction(), Fimcp_basic::run(), and Emulator_1support::run().

unsigned int Options_fimcp::getInfreq ( unsigned int  total  )  const [inline]

Definition at line 231 of file options_fimcp.cpp.

References _infreq, and FloatOption::value().

unsigned int Options_fimcp::getInfreq ( unsigned int  total  )  const [inline]

Definition at line 231 of file options_fimcp.cpp.

References _infreq, and FloatOption::value().

virtual void Options_fimcp::help ( void   )  [inline, virtual]

Definition at line 327 of file options_fimcp.cpp.

References _description, _list_specific, _usage, and help().

virtual void Options_fimcp::help ( void   )  [inline, virtual]

Definition at line 327 of file options_fimcp.cpp.

References _description, _list_specific, and _usage.

Referenced by help().

void Options_fimcp::infreq ( float  v  )  [inline]

Definition at line 227 of file options_fimcp.cpp.

References _infreq, add_specific(), and FloatOption::value().

void Options_fimcp::infreq ( float  v  )  [inline]

Definition at line 227 of file options_fimcp.cpp.

References _infreq, add_specific(), and FloatOption::value().

Referenced by main().

int Options_fimcp::output ( void   )  const [inline]

Definition at line 172 of file options_fimcp.cpp.

References _output.

void Options_fimcp::output ( int  v  )  [inline]

Definition at line 168 of file options_fimcp.cpp.

References _output.

int Options_fimcp::output ( void   )  const [inline]

Definition at line 172 of file options_fimcp.cpp.

References _output.

void Options_fimcp::output ( int  v  )  [inline]

Definition at line 168 of file options_fimcp.cpp.

References _output.

Referenced by Fimcp_basic::common_construction().

void Options_fimcp::parse ( int &  argc,
char *  argv[] 
) [inline]

Parse options from arguments argv (number is argc).

Definition at line 315 of file options_fimcp.cpp.

References _list_specific, and parse().

void Options_fimcp::parse ( int &  argc,
char *  argv[] 
) [inline]

Parse options from arguments argv (number is argc).

Definition at line 315 of file options_fimcp.cpp.

References _list_specific.

Referenced by main(), and parse().

const char* Options_fimcp::solfile ( void   )  const [inline]

Definition at line 200 of file options_fimcp.cpp.

References _solfile, and TextOption::value().

void Options_fimcp::solfile ( const char *  s  )  [inline]

Definition at line 196 of file options_fimcp.cpp.

References _solfile, and TextOption::value().

const char* Options_fimcp::solfile ( void   )  const [inline]

Definition at line 200 of file options_fimcp.cpp.

References _solfile, and TextOption::value().

void Options_fimcp::solfile ( const char *  s  )  [inline]

Definition at line 196 of file options_fimcp.cpp.

References _solfile, and TextOption::value().

Referenced by Fimcp_basic::common_construction().

void Options_fimcp::usage ( const char *  s  )  [inline]

Definition at line 309 of file options_fimcp.cpp.

References _usage.

void Options_fimcp::usage ( const char *  s  )  [inline]

Definition at line 309 of file options_fimcp.cpp.

References _usage.

Referenced by main().

Member Data Documentation

UnsignedIntOption Options_fimcp::_alpha [protected]

Definition at line 75 of file options_fimcp.cpp.

Referenced by alpha().

TextOption Options_fimcp::_attrfile [protected]

Definition at line 68 of file options_fimcp.cpp.

Referenced by attrfile().

UnsignedIntOption Options_fimcp::_beta [protected]

Definition at line 76 of file options_fimcp.cpp.

Referenced by beta().

StringUIntOption Options_fimcp::_bound1 [protected]

Definition at line 73 of file options_fimcp.cpp.

Referenced by bound1_op(), bound1_val(), and Options_fimcp().

StringUIntOption Options_fimcp::_bound2 [protected]

Definition at line 74 of file options_fimcp.cpp.

Referenced by bound2_op(), bound2_val(), and Options_fimcp().

StringOption Options_fimcp::_branchval [protected]

Definition at line 59 of file options_fimcp.cpp.

Referenced by branchval(), and Options_fimcp().

UnsignedIntOption Options_fimcp::_cclause [protected]

Definition at line 70 of file options_fimcp.cpp.

Referenced by cclause(), and Options_fimcp().

TextOption Options_fimcp::_datafile [protected]

Definition at line 67 of file options_fimcp.cpp.

Referenced by datafile(), and Options_fimcp().

FloatOption Options_fimcp::_delta [protected]

Definition at line 77 of file options_fimcp.cpp.

Referenced by delta().

const char * Options_fimcp::_description [protected]

Definition at line 63 of file options_fimcp.cpp.

Referenced by description(), and help().

FloatOption Options_fimcp::_epsilon [protected]

Definition at line 78 of file options_fimcp.cpp.

Referenced by epsilon().

FloatOption Options_fimcp::_freq [protected]

Definition at line 71 of file options_fimcp.cpp.

Referenced by freq(), and getFreq().

FloatOption Options_fimcp::_infreq [protected]

Definition at line 72 of file options_fimcp.cpp.

Referenced by getInfreq(), and infreq().

vector< BaseOption * > Options_fimcp::_list_specific [protected]

Definition at line 62 of file options_fimcp.cpp.

Referenced by add_specific(), help(), and parse().

StringOption Options_fimcp::_output [protected]

Definition at line 60 of file options_fimcp.cpp.

Referenced by Options_fimcp(), and output().

TextOption Options_fimcp::_solfile [protected]

Definition at line 69 of file options_fimcp.cpp.

Referenced by Options_fimcp(), and solfile().

const char * Options_fimcp::_usage [protected]

Definition at line 64 of file options_fimcp.cpp.

Referenced by help(), and usage().

The documentation for this class was generated from the following files:
Generated on Sat Nov 12 12:59:30 2011 for FIM_CP+CIMCP by  doxygen 1.6.3