00001 #ifndef _SOL_POOL_PARAMS_H 00002 #define _SOL_POOL_PARAMS_H 00003 00004 typedef struct SOL_POOL_PARAMS{ 00005 int verbosity; 00006 double etol; 00007 int block_size; 00008 int delete_which; 00009 int max_size; 00010 int max_number_of_sols; 00011 int min_to_delete; 00012 int check_which; 00013 int touches_until_deletion; 00014 int compress_num; 00015 double compress_ratio; 00016 }sp_params; 00017 00018 /* parameter values for "check_which_cuts" */ 00019 #define CHECK_ALL_COLS 0 00020 #define CHECK_COL_LEVEL 1 00021 #define CHECK_COL_TOUCHES 2 00022 #define CHECK_COL_LEVEL_AND_TOUCHES 3 00023 00024 /* parameter values for "delete_which_cuts" */ 00025 #define DELETE_DUPLICATE_COLS 1 00026 #define DELETE_DUPLICATE_AND_INEFFECTIVE_COLS 2 00027 00028 #endif