|
|||
|
|
|
|||
|
|
This is the complete list of members for Minisat::Internal::DoubleOption, including all inherited members.
| DoubleOption(const char *d, double def=double(), DoubleRange r=DoubleRange(-HUGE_VAL, false, HUGE_VAL, false)) | Minisat::Internal::DoubleOption | inline |
| operator double(void) const | Minisat::Internal::DoubleOption | inline |
| operator double &(void) | Minisat::Internal::DoubleOption | inline |
| operator=(double x) | Minisat::Internal::DoubleOption | inline |
| range | Minisat::Internal::DoubleOption | protected |
| value | Minisat::Internal::DoubleOption | protected |
