Cov_Man_t_ Struct Reference

#include <cov.h>

Data Fields
int	nFaninMax
int	nCubesMax
int	nWords
Vec_Int_t *	vFanCounts
Vec_Ptr_t *	vObjStrs
void *	pMemory
Min_Man_t *	pManMin
int	fUseEsop
int	fUseSop
Vec_Int_t *	vComTo0
Vec_Int_t *	vComTo1
Vec_Int_t *	vPairs0
Vec_Int_t *	vPairs1
Vec_Int_t *	vTriv0
Vec_Int_t *	vTriv1
int	nSupps
int	nSuppsMax
int	nBoundary
int	nNodes

Detailed Description

Definition at line 45 of file cov.h.

Field Documentation

int Cov_Man_t_::fUseEsop

Definition at line 55 of file cov.h.

int Cov_Man_t_::fUseSop

Definition at line 56 of file cov.h.

int Cov_Man_t_::nBoundary

Definition at line 67 of file cov.h.

int Cov_Man_t_::nCubesMax

Definition at line 49 of file cov.h.

int Cov_Man_t_::nFaninMax

Definition at line 48 of file cov.h.

int Cov_Man_t_::nNodes

Definition at line 68 of file cov.h.

int Cov_Man_t_::nSupps

Definition at line 65 of file cov.h.

int Cov_Man_t_::nSuppsMax

Definition at line 66 of file cov.h.

int Cov_Man_t_::nWords

Definition at line 50 of file cov.h.

Min_Man_t* Cov_Man_t_::pManMin

Definition at line 54 of file cov.h.

void* Cov_Man_t_::pMemory

Definition at line 53 of file cov.h.

Vec_Int_t* Cov_Man_t_::vComTo0

Definition at line 58 of file cov.h.

Vec_Int_t* Cov_Man_t_::vComTo1

Definition at line 59 of file cov.h.

Vec_Int_t* Cov_Man_t_::vFanCounts

Definition at line 51 of file cov.h.

Vec_Ptr_t* Cov_Man_t_::vObjStrs

Definition at line 52 of file cov.h.

Vec_Int_t* Cov_Man_t_::vPairs0

Definition at line 60 of file cov.h.

Vec_Int_t* Cov_Man_t_::vPairs1

Definition at line 61 of file cov.h.

Vec_Int_t* Cov_Man_t_::vTriv0

Definition at line 62 of file cov.h.

Vec_Int_t* Cov_Man_t_::vTriv1

Definition at line 63 of file cov.h.

---

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

• cov.h