Collaboration diagram for Ifd_Man_t_:

Public Attributes
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.

Member Data Documentation

◆ nObjs

int Ifd_Man_t_::nObjs

Definition at line 54 of file mpmPre.c.

◆ nObjsAlloc

int Ifd_Man_t_::nObjsAlloc

Definition at line 55 of file mpmPre.c.

◆ pObjs

Ifd_Obj_t* Ifd_Man_t_::pObjs

Definition at line 53 of file mpmPre.c.

◆ vArgs

Vec_Int_t* Ifd_Man_t_::vArgs

Definition at line 57 of file mpmPre.c.

◆ vClauses

Vec_Int_t* Ifd_Man_t_::vClauses

Definition at line 62 of file mpmPre.c.

◆ vHash

Hsh_IntMan_t* Ifd_Man_t_::vHash

Definition at line 59 of file mpmPre.c.

◆ vMarks

Vec_Int_t* Ifd_Man_t_::vMarks

Definition at line 60 of file mpmPre.c.

◆ vRes

Vec_Int_t* Ifd_Man_t_::vRes

Definition at line 58 of file mpmPre.c.

◆ vSuper

Vec_Int_t* Ifd_Man_t_::vSuper

Definition at line 64 of file mpmPre.c.

◆ vTruths

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:

src/map/mpm/mpmPre.c

Public Attributes