Ifd_Man_t_ Struct Reference

Data Fields
Ifd_Obj_t *	pObjs
int	nObjs
int	nObjsAlloc
Vec_Int_t *	vArgs
Vec_Int_t *	vRes
Hsh_IntMan_t *	vHash
Vec_Int_t *	vMarks
Vec_Wrd_t *	vTruths
Vec_Int_t *	vClauses
Vec_Int_t *	vSuper

Detailed Description

Definition at line 51 of file mpmPre.c.

Field Documentation

int Ifd_Man_t_::nObjs

Definition at line 54 of file mpmPre.c.

int Ifd_Man_t_::nObjsAlloc

Definition at line 55 of file mpmPre.c.

Ifd_Obj_t* Ifd_Man_t_::pObjs

Definition at line 53 of file mpmPre.c.

Vec_Int_t* Ifd_Man_t_::vArgs

Definition at line 57 of file mpmPre.c.

Vec_Int_t* Ifd_Man_t_::vClauses

Definition at line 62 of file mpmPre.c.

Hsh_IntMan_t* Ifd_Man_t_::vHash

Definition at line 59 of file mpmPre.c.

Vec_Int_t* Ifd_Man_t_::vMarks

Definition at line 60 of file mpmPre.c.

Vec_Int_t* Ifd_Man_t_::vRes

Definition at line 58 of file mpmPre.c.

Vec_Int_t* Ifd_Man_t_::vSuper

Definition at line 64 of file mpmPre.c.

Vec_Wrd_t* Ifd_Man_t_::vTruths

Definition at line 61 of file mpmPre.c.

---

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

• mpmPre.c