Gia_ManSat_t_ Struct Reference

Data Fields
Aig_MmFlex_t *	pMem

Detailed Description

Definition at line 34 of file giaSat.c.

Field Documentation

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:

• giaSat.c