#include <utils.hpp>

Public Attributes
bool	extended_normality_processing = false

bool	apply_strash = true

bool	fix_seed = false

bool	fill_subcircuits = false

bool	trial_limit_active = true

bool	allow_xors = false

unsigned int	timeout = 3600

unsigned int	iterations = 0

unsigned int	subcircuit_size_bound = 6

unsigned int	strash_intervall = 100

int	seed = 0

unsigned int	nselection_trials = 100

double	expansion_probability = 0.6

int	minimum_sat_timeout = 1

int	base_sat_timeout = 120

int	minimum_dynamic_timeout_sample_size = 50

double	dynamic_timeout_buffer_factor = 1.4

int	verbosity_level = 0

Detailed Description

Definition at line 36 of file utils.hpp.

Member Data Documentation

◆ allow_xors

bool eSLIM::eSLIMConfig::allow_xors = false

Definition at line 42 of file utils.hpp.

◆ apply_strash

bool eSLIM::eSLIMConfig::apply_strash = true

Definition at line 38 of file utils.hpp.

◆ base_sat_timeout

int eSLIM::eSLIMConfig::base_sat_timeout = 120

Definition at line 54 of file utils.hpp.

◆ dynamic_timeout_buffer_factor

double eSLIM::eSLIMConfig::dynamic_timeout_buffer_factor = 1.4

Definition at line 56 of file utils.hpp.

◆ expansion_probability

double eSLIM::eSLIMConfig::expansion_probability = 0.6

Definition at line 50 of file utils.hpp.

◆ extended_normality_processing

bool eSLIM::eSLIMConfig::extended_normality_processing = false

Definition at line 37 of file utils.hpp.

◆ fill_subcircuits

bool eSLIM::eSLIMConfig::fill_subcircuits = false

Definition at line 40 of file utils.hpp.

◆ fix_seed

bool eSLIM::eSLIMConfig::fix_seed = false

Definition at line 39 of file utils.hpp.

◆ iterations

unsigned int eSLIM::eSLIMConfig::iterations = 0

Definition at line 45 of file utils.hpp.

◆ minimum_dynamic_timeout_sample_size

int eSLIM::eSLIMConfig::minimum_dynamic_timeout_sample_size = 50

Definition at line 55 of file utils.hpp.

◆ minimum_sat_timeout

int eSLIM::eSLIMConfig::minimum_sat_timeout = 1

Definition at line 53 of file utils.hpp.

◆ nselection_trials

unsigned int eSLIM::eSLIMConfig::nselection_trials = 100

Definition at line 49 of file utils.hpp.

◆ seed

int eSLIM::eSLIMConfig::seed = 0

Definition at line 48 of file utils.hpp.

◆ strash_intervall

unsigned int eSLIM::eSLIMConfig::strash_intervall = 100

Definition at line 47 of file utils.hpp.

◆ subcircuit_size_bound

unsigned int eSLIM::eSLIMConfig::subcircuit_size_bound = 6

Definition at line 46 of file utils.hpp.

◆ timeout

unsigned int eSLIM::eSLIMConfig::timeout = 3600

Definition at line 44 of file utils.hpp.

◆ trial_limit_active

bool eSLIM::eSLIMConfig::trial_limit_active = true

Definition at line 41 of file utils.hpp.

◆ verbosity_level

int eSLIM::eSLIMConfig::verbosity_level = 0

Definition at line 58 of file utils.hpp.

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

src/opt/eslim/utils.hpp

Public Attributes