Vta_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Abs_Par_t *	pPars
int	nObjs
int	nObjsAlloc
int	nBins
int *	pBins
Vta_Obj_t *	pObjs
Vec_Int_t *	vOrder
int	nObjBits
unsigned	nObjMask
Vec_Ptr_t *	vFrames
int	nWords
int	nCexes
int	nObjAdded
Vec_Int_t *	vSeens
Vec_Bit_t *	vSeenGla
int	nSeenGla
int	nSeenAll
Vec_Ptr_t *	vCores
sat_solver2 *	pSat
Vec_Int_t *	vAddedNew
abctime	timeSat
abctime	timeUnsat
abctime	timeCex
abctime	timeOther

Detailed Description

Definition at line 46 of file absVta.c.

Field Documentation

int Vta_Man_t_::nBins

Definition at line 54 of file absVta.c.

int Vta_Man_t_::nCexes

Definition at line 63 of file absVta.c.

int Vta_Man_t_::nObjAdded

Definition at line 64 of file absVta.c.

int Vta_Man_t_::nObjBits

Definition at line 59 of file absVta.c.

unsigned Vta_Man_t_::nObjMask

Definition at line 60 of file absVta.c.

int Vta_Man_t_::nObjs

Definition at line 52 of file absVta.c.

int Vta_Man_t_::nObjsAlloc

Definition at line 53 of file absVta.c.

int Vta_Man_t_::nSeenAll

Definition at line 68 of file absVta.c.

int Vta_Man_t_::nSeenGla

Definition at line 67 of file absVta.c.

int Vta_Man_t_::nWords

Definition at line 62 of file absVta.c.

int* Vta_Man_t_::pBins

Definition at line 55 of file absVta.c.

Gia_Man_t* Vta_Man_t_::pGia

Definition at line 49 of file absVta.c.

Vta_Obj_t* Vta_Man_t_::pObjs

Definition at line 56 of file absVta.c.

Abs_Par_t* Vta_Man_t_::pPars

Definition at line 50 of file absVta.c.

sat_solver2* Vta_Man_t_::pSat

Definition at line 71 of file absVta.c.

abctime Vta_Man_t_::timeCex

Definition at line 76 of file absVta.c.

abctime Vta_Man_t_::timeOther

Definition at line 77 of file absVta.c.

abctime Vta_Man_t_::timeSat

Definition at line 74 of file absVta.c.

abctime Vta_Man_t_::timeUnsat

Definition at line 75 of file absVta.c.

Vec_Int_t* Vta_Man_t_::vAddedNew

Definition at line 72 of file absVta.c.

Vec_Ptr_t* Vta_Man_t_::vCores

Definition at line 70 of file absVta.c.

Vec_Ptr_t* Vta_Man_t_::vFrames

Definition at line 61 of file absVta.c.

Vec_Int_t* Vta_Man_t_::vOrder

Definition at line 57 of file absVta.c.

Vec_Bit_t* Vta_Man_t_::vSeenGla

Definition at line 66 of file absVta.c.

Vec_Int_t* Vta_Man_t_::vSeens

Definition at line 65 of file absVta.c.

---

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

• absVta.c