Gia_ObjSat2_t_ Struct Reference

Public Attributes
unsigned	fTerm: 1
unsigned	iLit: 31

Detailed Description

Definition at line 49 of file giaSat.c.

Member Data Documentation

fTerm

unsigned Gia_ObjSat2_t_::fTerm

Definition at line 51 of file giaSat.c.

iLit

unsigned Gia_ObjSat2_t_::iLit

Definition at line 52 of file giaSat.c.

---

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

• src/aig/gia/giaSat.c