ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
eSLIM_ParamStruct_ Struct Reference

#include <eSLIM.h>

Public Attributes

int forbidden_pairs
 
int extended_normality_processing
 
int fill_subcircuits
 
int apply_strash
 
int fix_seed
 
int trial_limit_active
 
int apply_inprocessing
 
unsigned int timeout
 
unsigned int timeout_inprocessing
 
unsigned int iterations
 
unsigned int subcircuit_size_bound
 
unsigned int strash_intervall
 
unsigned int nselection_trials
 
unsigned int nruns
 
double expansion_probability
 
int mode
 
int seed
 
int verbosity_level
 

Detailed Description

Definition at line 30 of file eSLIM.h.

Member Data Documentation

◆ apply_inprocessing

int eSLIM_ParamStruct_::apply_inprocessing

Definition at line 37 of file eSLIM.h.

◆ apply_strash

int eSLIM_ParamStruct_::apply_strash

Definition at line 34 of file eSLIM.h.

◆ expansion_probability

double eSLIM_ParamStruct_::expansion_probability

Definition at line 47 of file eSLIM.h.

◆ extended_normality_processing

int eSLIM_ParamStruct_::extended_normality_processing

Definition at line 32 of file eSLIM.h.

◆ fill_subcircuits

int eSLIM_ParamStruct_::fill_subcircuits

Definition at line 33 of file eSLIM.h.

◆ fix_seed

int eSLIM_ParamStruct_::fix_seed

Definition at line 35 of file eSLIM.h.

◆ forbidden_pairs

int eSLIM_ParamStruct_::forbidden_pairs

Definition at line 31 of file eSLIM.h.

◆ iterations

unsigned int eSLIM_ParamStruct_::iterations

Definition at line 41 of file eSLIM.h.

◆ mode

int eSLIM_ParamStruct_::mode

Definition at line 49 of file eSLIM.h.

◆ nruns

unsigned int eSLIM_ParamStruct_::nruns

Definition at line 45 of file eSLIM.h.

◆ nselection_trials

unsigned int eSLIM_ParamStruct_::nselection_trials

Definition at line 44 of file eSLIM.h.

◆ seed

int eSLIM_ParamStruct_::seed

Definition at line 50 of file eSLIM.h.

◆ strash_intervall

unsigned int eSLIM_ParamStruct_::strash_intervall

Definition at line 43 of file eSLIM.h.

◆ subcircuit_size_bound

unsigned int eSLIM_ParamStruct_::subcircuit_size_bound

Definition at line 42 of file eSLIM.h.

◆ timeout

unsigned int eSLIM_ParamStruct_::timeout

Definition at line 39 of file eSLIM.h.

◆ timeout_inprocessing

unsigned int eSLIM_ParamStruct_::timeout_inprocessing

Definition at line 40 of file eSLIM.h.

◆ trial_limit_active

int eSLIM_ParamStruct_::trial_limit_active

Definition at line 36 of file eSLIM.h.

◆ verbosity_level

int eSLIM_ParamStruct_::verbosity_level

Definition at line 51 of file eSLIM.h.


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