| copy | double_VARIABLE | [private, static] |
| double_VAR_FROM class | double_VARIABLE | [friend] |
| double_VAR_TO class | double_VARIABLE | [friend] |
| double_VARIABLE(double v, const char *vname, const char *comment) | double_VARIABLE | |
| double_VARIABLE() | double_VARIABLE | [inline] |
| get_head() | double_VARIABLE | [static] |
| head | double_VARIABLE | [private, static] |
| info | double_VARIABLE | [private] |
| info_str() | double_VARIABLE | [inline] |
| name | double_VARIABLE | [private] |
| name_str() | double_VARIABLE | [inline] |
| operator double() | double_VARIABLE | [inline] |
| print(FILE *fp) | double_VARIABLE | [static] |
| read_variables_file(const char *file) | double_VARIABLE | [friend] |
| replace | double_VARIABLE | [private, static] |
| set_value(double v) | double_VARIABLE | [inline] |
| value | double_VARIABLE | [private] |
| ~double_VARIABLE() | double_VARIABLE |
1.5.1