ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Acec_Box_t_ Struct Reference

#include <acecInt.h>

Collaboration diagram for Acec_Box_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
Vec_Wec_t * vAdds
 
Vec_Wec_t * vLeafLits
 
Vec_Wec_t * vRootLits
 
Vec_Wec_t * vShared
 
Vec_Wec_t * vUnique
 

Detailed Description

Definition at line 41 of file acecInt.h.

Member Data Documentation

◆ pGia

Gia_Man_t* Acec_Box_t_::pGia

Definition at line 43 of file acecInt.h.

◆ vAdds

Vec_Wec_t* Acec_Box_t_::vAdds

Definition at line 44 of file acecInt.h.

◆ vLeafLits

Vec_Wec_t* Acec_Box_t_::vLeafLits

Definition at line 45 of file acecInt.h.

◆ vRootLits

Vec_Wec_t* Acec_Box_t_::vRootLits

Definition at line 46 of file acecInt.h.

◆ vShared

Vec_Wec_t* Acec_Box_t_::vShared

Definition at line 47 of file acecInt.h.

◆ vUnique

Vec_Wec_t* Acec_Box_t_::vUnique

Definition at line 48 of file acecInt.h.

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