#include <stdio.h>#include "dcl_base.h"#include "option.hxx"Functions | |
| void | debug_dist (double d, FILE *fp=debug_file_ptr) |
| Prints a double representing a signed distance. | |
| void | debug_newline (FILE *fp=debug_file_ptr) |
| Prints a newline character. | |
| void | debug_norm (double d, FILE *fp=debug_file_ptr) |
| Prints a real representing a normalized, dimensionless quantity. | |
| void | debug_pointer (void const *pv, FILE *fp=debug_file_ptr) |
| Prints a pointer. | |
| void | debug_pointer_str (void const *pv, char *str) |
| Prints a pointer as a string. | |
| void | debug_real (double d, FILE *fp=debug_file_ptr) |
| Prints a real number (double) with appropriate precision. | |
| void | debug_real_str (double d, char *str) |
| Prints a real number (double) with appropriate precision to a string. | |
| void | debug_time (FILE *fp=debug_file_ptr) |
Displays elapsed time since the last call to debug_time_init or debug_time, also resets the internal timer. | |
| void | debug_time_init () |
Resets the internal timer for timing operations using debug_time. | |
Variables | |
| FILE * | debug_file_ptr |
| Pointer to default debug file. | |