#include <utils.hpp>

Public Member Functions
	eSLIMLog (int size)

Public Attributes
unsigned int	iteration_count = 0

double	relation_generation_time = 0

double	synthesis_time = 0

unsigned int	subcircuits_with_forbidden_pairs = 0

std::vector< int >	nof_analyzed_circuits_per_size

std::vector< int >	nof_replaced_circuits_per_size

std::vector< int >	nof_reduced_circuits_per_size

std::vector< ABC_UINT64_T >	cummulative_sat_runtimes_per_size

std::vector< int >	nof_sat_calls_per_size

std::vector< ABC_UINT64_T >	cummulative_unsat_runtimes_per_size

std::vector< int >	nof_unsat_calls_per_size

Detailed Description

Definition at line 61 of file utils.hpp.

Constructor & Destructor Documentation

◆ eSLIMLog()

eSLIM::eSLIMLog::eSLIMLog ( int size )

inline

Definition at line 92 of file utils.hpp.

          : nof_analyzed_circuits_per_size(size + 1, 0), nof_replaced_circuits_per_size(size + 1, 0),
            nof_reduced_circuits_per_size(size + 1, 0), cummulative_sat_runtimes_per_size(size + 1, 0),
            nof_sat_calls_per_size(size + 1, 0), cummulative_unsat_runtimes_per_size(size + 1, 0), 
            nof_unsat_calls_per_size(size + 1, 0) {
  }

Member Data Documentation

◆ cummulative_sat_runtimes_per_size

std::vector<ABC_UINT64_T> eSLIM::eSLIMLog::cummulative_sat_runtimes_per_size

Definition at line 71 of file utils.hpp.

◆ cummulative_unsat_runtimes_per_size

std::vector<ABC_UINT64_T> eSLIM::eSLIMLog::cummulative_unsat_runtimes_per_size

Definition at line 73 of file utils.hpp.

◆ iteration_count

unsigned int eSLIM::eSLIMLog::iteration_count = 0

Definition at line 62 of file utils.hpp.

◆ nof_analyzed_circuits_per_size

std::vector<int> eSLIM::eSLIMLog::nof_analyzed_circuits_per_size

Definition at line 67 of file utils.hpp.

◆ nof_reduced_circuits_per_size

std::vector<int> eSLIM::eSLIMLog::nof_reduced_circuits_per_size

Definition at line 69 of file utils.hpp.

◆ nof_replaced_circuits_per_size

std::vector<int> eSLIM::eSLIMLog::nof_replaced_circuits_per_size

Definition at line 68 of file utils.hpp.

◆ nof_sat_calls_per_size

std::vector<int> eSLIM::eSLIMLog::nof_sat_calls_per_size

Definition at line 72 of file utils.hpp.

◆ nof_unsat_calls_per_size

std::vector<int> eSLIM::eSLIMLog::nof_unsat_calls_per_size

Definition at line 74 of file utils.hpp.

◆ relation_generation_time

double eSLIM::eSLIMLog::relation_generation_time = 0

Definition at line 63 of file utils.hpp.

◆ subcircuits_with_forbidden_pairs

unsigned int eSLIM::eSLIMLog::subcircuits_with_forbidden_pairs = 0

Definition at line 65 of file utils.hpp.

◆ synthesis_time

double eSLIM::eSLIMLog::synthesis_time = 0

Definition at line 64 of file utils.hpp.

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

src/opt/eslim/utils.hpp

Public Member Functions

Public Attributes