ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_SimRsbMan_t_ Struct Reference
Collaboration diagram for Gia_SimRsbMan_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
Vec_Int_t * vTfo
 
Vec_Int_t * vCands
 
Vec_Int_t * vFanins
 
Vec_Int_t * vFanins2
 
Vec_Wrd_t * vSimsObj
 
Vec_Wrd_t * vSimsObj2
 
int nWords
 
word * pFunc [3]
 

Detailed Description

Definition at line 36 of file giaSimBase.c.

Member Data Documentation

◆ nWords

int Gia_SimRsbMan_t_::nWords

Definition at line 45 of file giaSimBase.c.

◆ pFunc

word* Gia_SimRsbMan_t_::pFunc[3]

Definition at line 46 of file giaSimBase.c.

◆ pGia

Gia_Man_t* Gia_SimRsbMan_t_::pGia

Definition at line 38 of file giaSimBase.c.

◆ vCands

Vec_Int_t* Gia_SimRsbMan_t_::vCands

Definition at line 40 of file giaSimBase.c.

◆ vFanins

Vec_Int_t* Gia_SimRsbMan_t_::vFanins

Definition at line 41 of file giaSimBase.c.

◆ vFanins2

Vec_Int_t* Gia_SimRsbMan_t_::vFanins2

Definition at line 42 of file giaSimBase.c.

◆ vSimsObj

Vec_Wrd_t* Gia_SimRsbMan_t_::vSimsObj

Definition at line 43 of file giaSimBase.c.

◆ vSimsObj2

Vec_Wrd_t* Gia_SimRsbMan_t_::vSimsObj2

Definition at line 44 of file giaSimBase.c.

◆ vTfo

Vec_Int_t* Gia_SimRsbMan_t_::vTfo

Definition at line 39 of file giaSimBase.c.

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