Cgt_Man_t_ Struct Reference

#include <cgtInt.h>

Data Fields
Cgt_Par_t *	pPars
Aig_Man_t *	pAig
Vec_Int_t *	vUseful
Aig_Man_t *	pCare
Vec_Vec_t *	vSuppsInv
Vec_Vec_t *	vGatesAll
Vec_Ptr_t *	vGates
Aig_Man_t *	pFrame
Vec_Ptr_t *	vFanout
Vec_Ptr_t *	vVisited
Aig_Man_t *	pPart
Cnf_Dat_t *	pCnf
sat_solver *	pSat
Vec_Ptr_t *	vPatts
int	nPatts
int	nPattWords
int	nRecycles
int	nCalls
int	nCallsSat
int	nCallsUnsat
int	nCallsUndec
int	nCallsFiltered
abctime	timeAig
abctime	timePrepare
abctime	timeSat
abctime	timeSatSat
abctime	timeSatUnsat
abctime	timeSatUndec
abctime	timeDecision
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 48 of file cgtInt.h.

Field Documentation

int Cgt_Man_t_::nCalls

Definition at line 73 of file cgtInt.h.

int Cgt_Man_t_::nCallsFiltered

Definition at line 77 of file cgtInt.h.

int Cgt_Man_t_::nCallsSat

Definition at line 74 of file cgtInt.h.

int Cgt_Man_t_::nCallsUndec

Definition at line 76 of file cgtInt.h.

int Cgt_Man_t_::nCallsUnsat

Definition at line 75 of file cgtInt.h.

int Cgt_Man_t_::nPatts

Definition at line 69 of file cgtInt.h.

int Cgt_Man_t_::nPattWords

Definition at line 70 of file cgtInt.h.

int Cgt_Man_t_::nRecycles

Definition at line 72 of file cgtInt.h.

Aig_Man_t* Cgt_Man_t_::pAig

Definition at line 52 of file cgtInt.h.

Aig_Man_t* Cgt_Man_t_::pCare

Definition at line 55 of file cgtInt.h.

Cnf_Dat_t* Cgt_Man_t_::pCnf

Definition at line 66 of file cgtInt.h.

Aig_Man_t* Cgt_Man_t_::pFrame

Definition at line 61 of file cgtInt.h.

Cgt_Par_t* Cgt_Man_t_::pPars

Definition at line 51 of file cgtInt.h.

Aig_Man_t* Cgt_Man_t_::pPart

Definition at line 65 of file cgtInt.h.

sat_solver* Cgt_Man_t_::pSat

Definition at line 67 of file cgtInt.h.

abctime Cgt_Man_t_::timeAig

Definition at line 78 of file cgtInt.h.

abctime Cgt_Man_t_::timeDecision

Definition at line 84 of file cgtInt.h.

abctime Cgt_Man_t_::timeOther

Definition at line 85 of file cgtInt.h.

abctime Cgt_Man_t_::timePrepare

Definition at line 79 of file cgtInt.h.

abctime Cgt_Man_t_::timeSat

Definition at line 80 of file cgtInt.h.

abctime Cgt_Man_t_::timeSatSat

Definition at line 81 of file cgtInt.h.

abctime Cgt_Man_t_::timeSatUndec

Definition at line 83 of file cgtInt.h.

abctime Cgt_Man_t_::timeSatUnsat

Definition at line 82 of file cgtInt.h.

abctime Cgt_Man_t_::timeTotal

Definition at line 86 of file cgtInt.h.

Vec_Ptr_t* Cgt_Man_t_::vFanout

Definition at line 62 of file cgtInt.h.

Vec_Ptr_t* Cgt_Man_t_::vGates

Definition at line 59 of file cgtInt.h.

Vec_Vec_t* Cgt_Man_t_::vGatesAll

Definition at line 58 of file cgtInt.h.

Vec_Ptr_t* Cgt_Man_t_::vPatts

Definition at line 68 of file cgtInt.h.

Vec_Vec_t* Cgt_Man_t_::vSuppsInv

Definition at line 56 of file cgtInt.h.

Vec_Int_t* Cgt_Man_t_::vUseful

Definition at line 53 of file cgtInt.h.

Vec_Ptr_t* Cgt_Man_t_::vVisited

Definition at line 63 of file cgtInt.h.

---

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

• cgtInt.h