#include <sym_cp_params.h>
Public Attributes | |
| int | verbosity |
| int | warm_start |
| char | warm_start_file_name [MAX_FILE_NAME_LENGTH+1] |
| int | logging |
| char | log_file_name [MAX_FILE_NAME_LENGTH+1] |
| int | block_size |
| int | max_size |
| int | max_number_of_cuts |
| int | cuts_to_check |
| int | delete_which |
| int | touches_until_deletion |
| int | min_to_delete |
| int | check_which |
Definition at line 22 of file sym_cp_params.h.
Definition at line 23 of file sym_cp_params.h.
Definition at line 24 of file sym_cp_params.h.
| char CP_PARAMS::warm_start_file_name[MAX_FILE_NAME_LENGTH+1] |
Definition at line 25 of file sym_cp_params.h.
Definition at line 26 of file sym_cp_params.h.
| char CP_PARAMS::log_file_name[MAX_FILE_NAME_LENGTH+1] |
Definition at line 27 of file sym_cp_params.h.
Definition at line 28 of file sym_cp_params.h.
Definition at line 29 of file sym_cp_params.h.
Definition at line 30 of file sym_cp_params.h.
Definition at line 31 of file sym_cp_params.h.
Definition at line 32 of file sym_cp_params.h.
Definition at line 33 of file sym_cp_params.h.
Definition at line 34 of file sym_cp_params.h.
Definition at line 35 of file sym_cp_params.h.
1.6.1