Gia_ManSat_t_ Struct Reference

Collaboration diagram for Gia_ManSat_t_:

Public Attributes
Aig_MmFlex_t *	pMem

Detailed Description

Definition at line 34 of file giaSat.c.

Member Data Documentation

pMem

Aig_MmFlex_t* Gia_ManSat_t_::pMem

Definition at line 36 of file giaSat.c.

---

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

• src/aig/gia/giaSat.c