Cnf_Man_t_ Struct Reference

#include <cnf.h>

Collaboration diagram for Cnf_Man_t_:

[legend]

Data Fields
Aig_Man_t *	pManAig
char *	pSopSizes
char **	pSops
int	aArea
Aig_MmFlex_t *	pMemCuts
int	nMergeLimit
unsigned *	pTruths [4]
Vec_Int_t *	vMemory
int	timeCuts
int	timeMap
int	timeSave

---

Detailed Description

Definition at line 76 of file cnf.h.

---

Field Documentation

int Cnf_Man_t_::aArea

Definition at line 81 of file cnf.h.

int Cnf_Man_t_::nMergeLimit

Definition at line 83 of file cnf.h.

Aig_Man_t* Cnf_Man_t_::pManAig

Definition at line 78 of file cnf.h.

Aig_MmFlex_t* Cnf_Man_t_::pMemCuts

Definition at line 82 of file cnf.h.

char** Cnf_Man_t_::pSops

Definition at line 80 of file cnf.h.

char* Cnf_Man_t_::pSopSizes

Definition at line 79 of file cnf.h.

unsigned* Cnf_Man_t_::pTruths[4]

Definition at line 84 of file cnf.h.

int Cnf_Man_t_::timeCuts

Definition at line 86 of file cnf.h.

int Cnf_Man_t_::timeMap

Definition at line 87 of file cnf.h.

int Cnf_Man_t_::timeSave

Definition at line 88 of file cnf.h.

Vec_Int_t* Cnf_Man_t_::vMemory

Definition at line 85 of file cnf.h.

---

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

• src/aig/cnf/cnf.h