SOL_POOL_PARAMS Struct Reference

#include <sp_params.h>

Public Attributes
int	verbosity
double	etol
int	block_size
int	delete_which
int	max_size
int	max_number_of_sols
int	min_to_delete
int	check_which
int	touches_until_deletion
int	compress_num
double	compress_ratio

Detailed Description

Definition at line 4 of file sp_params.h.

Member Data Documentation

int SOL_POOL_PARAMS::verbosity

Definition at line 5 of file sp_params.h.

double SOL_POOL_PARAMS::etol

Definition at line 6 of file sp_params.h.

int SOL_POOL_PARAMS::block_size

Definition at line 7 of file sp_params.h.

int SOL_POOL_PARAMS::delete_which

Definition at line 8 of file sp_params.h.

int SOL_POOL_PARAMS::max_size

Definition at line 9 of file sp_params.h.

int SOL_POOL_PARAMS::max_number_of_sols

Definition at line 10 of file sp_params.h.

int SOL_POOL_PARAMS::min_to_delete

Definition at line 11 of file sp_params.h.

int SOL_POOL_PARAMS::check_which

Definition at line 12 of file sp_params.h.

int SOL_POOL_PARAMS::touches_until_deletion

Definition at line 13 of file sp_params.h.

int SOL_POOL_PARAMS::compress_num

Definition at line 14 of file sp_params.h.

double SOL_POOL_PARAMS::compress_ratio

Definition at line 15 of file sp_params.h.

---

The documentation for this struct was generated from the following file:

• /tmp/Dip-0.92.4/SYMPHONY/include/decomp/sp_params.h