Gia_ObjSat1_t_ Struct Reference

Public Attributes
char	nFans
char	nOffset
char	PathsH
char	PathsV

Detailed Description

Definition at line 40 of file giaSat.c.

Member Data Documentation

nFans

char Gia_ObjSat1_t_::nFans

Definition at line 42 of file giaSat.c.

nOffset

char Gia_ObjSat1_t_::nOffset

Definition at line 43 of file giaSat.c.

PathsH

char Gia_ObjSat1_t_::PathsH

Definition at line 44 of file giaSat.c.

PathsV

char Gia_ObjSat1_t_::PathsV

Definition at line 45 of file giaSat.c.

---

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

• src/aig/gia/giaSat.c