|
ABC: A System for Sequential Synthesis and Verification
|
|
|
ABC: A System for Sequential Synthesis and Verification
|
|
This is the complete list of members for Minisat::DoubleOption, including all inherited members.
| category | Minisat::Option | |
| description | Minisat::Option | |
| DoubleOption(const char *c, const char *n, const char *d, double def=double(), DoubleRange r=DoubleRange(-HUGE_VAL, false, HUGE_VAL, false)) | Minisat::DoubleOption | inline |
| getHelpPrefixString() | Minisat::Option | inlinestatic |
| getOptionList() | Minisat::Option | inlinestatic |
| getUsageString() | Minisat::Option | inlinestatic |
| help(bool verbose=false) | Minisat::DoubleOption | inlinevirtual |
| name | Minisat::Option | |
| operator double(void) const | Minisat::DoubleOption | inline |
| operator double &(void) | Minisat::DoubleOption | inline |
| operator=(double x) | Minisat::DoubleOption | inline |
| Option(const char *name_, const char *desc_, const char *cate_, const char *type_) | Minisat::Option | inline |
| parse(const char *str) | Minisat::DoubleOption | inlinevirtual |
| range | Minisat::DoubleOption | protected |
| type_name | Minisat::Option | |
| value | Minisat::DoubleOption | protected |
| ~Option() | Minisat::Option | inlinevirtual |