Gia_ObjSat2_t_ Struct Reference

Data Fields
unsigned	fTerm: 1
unsigned	iLit: 31

Detailed Description

Definition at line 49 of file giaSat.c.

Field Documentation

unsigned Gia_ObjSat2_t_::fTerm

Definition at line 51 of file giaSat.c.

unsigned Gia_ObjSat2_t_::iLit

Definition at line 52 of file giaSat.c.

---

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

• giaSat.c