Gia_ObjSat_t_ Struct Reference

Collaboration diagram for Gia_ObjSat_t_:

Public Attributes
union {
Gia_ObjSat1_t   Obj1
Gia_ObjSat2_t   Obj2
};

Detailed Description

Definition at line 56 of file giaSat.c.

Member Data Documentation

[union]

union { ... } Gia_ObjSat_t_

Obj1

Gia_ObjSat1_t Gia_ObjSat_t_::Obj1

Definition at line 59 of file giaSat.c.

Obj2

Gia_ObjSat2_t Gia_ObjSat_t_::Obj2

Definition at line 60 of file giaSat.c.

---

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

• src/aig/gia/giaSat.c