Dip
0.92.4
|
#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.
int CP_PARAMS::verbosity |
Definition at line 23 of file sym_cp_params.h.
int CP_PARAMS::warm_start |
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.
int CP_PARAMS::logging |
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.
int CP_PARAMS::block_size |
Definition at line 28 of file sym_cp_params.h.
int CP_PARAMS::max_size |
Definition at line 29 of file sym_cp_params.h.
int CP_PARAMS::max_number_of_cuts |
Definition at line 30 of file sym_cp_params.h.
int CP_PARAMS::cuts_to_check |
Definition at line 31 of file sym_cp_params.h.
int CP_PARAMS::delete_which |
Definition at line 32 of file sym_cp_params.h.
int CP_PARAMS::touches_until_deletion |
Definition at line 33 of file sym_cp_params.h.
int CP_PARAMS::min_to_delete |
Definition at line 34 of file sym_cp_params.h.
int CP_PARAMS::check_which |
Definition at line 35 of file sym_cp_params.h.