Collaboration diagram for Pln_Man_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

Hsh_VecMan_t *	pHashC

Hsh_VecMan_t *	pHashM

Vec_Que_t *	vQue

Vec_Flt_t *	vCounts

Vec_Int_t *	vCoefs

Vec_Int_t *	vTempC [2]

Vec_Int_t *	vTempM [4]

Vec_Int_t *	vOrder

int	nBuilds

int	nUsed

Detailed Description

Definition at line 46 of file acecPolyn.c.

Member Data Documentation

◆ nBuilds

int Pln_Man_t_::nBuilds

Definition at line 57 of file acecPolyn.c.

◆ nUsed

int Pln_Man_t_::nUsed

Definition at line 58 of file acecPolyn.c.

◆ pGia

Gia_Man_t* Pln_Man_t_::pGia

Definition at line 48 of file acecPolyn.c.

◆ pHashC

Hsh_VecMan_t* Pln_Man_t_::pHashC

Definition at line 49 of file acecPolyn.c.

◆ pHashM

Hsh_VecMan_t* Pln_Man_t_::pHashM

Definition at line 50 of file acecPolyn.c.

◆ vCoefs

Vec_Int_t* Pln_Man_t_::vCoefs

Definition at line 53 of file acecPolyn.c.

◆ vCounts

Vec_Flt_t* Pln_Man_t_::vCounts

Definition at line 52 of file acecPolyn.c.

◆ vOrder

Vec_Int_t* Pln_Man_t_::vOrder

Definition at line 56 of file acecPolyn.c.

◆ vQue

Vec_Que_t* Pln_Man_t_::vQue

Definition at line 51 of file acecPolyn.c.

◆ vTempC

Vec_Int_t* Pln_Man_t_::vTempC[2]

Definition at line 54 of file acecPolyn.c.

◆ vTempM

Vec_Int_t* Pln_Man_t_::vTempM[4]

Definition at line 55 of file acecPolyn.c.

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

src/proof/acec/acecPolyn.c

Public Attributes