Dip  0.92.3
Public Attributes | List of all members
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: