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

Public Attributes

Abc_Ntk_t * pNetlist
 
Aig_Man_t * pAig
 
Gia_Man_t * pGia
 
Vec_Int_t * vId2Name
 
char * pFileNameOut
 
int fFlopOnly
 
int fFfNdOnly
 
int fDumpBmc
 

Detailed Description

Definition at line 37 of file abcScorr.c.

Member Data Documentation

◆ fDumpBmc

int Tst_Dat_t_::fDumpBmc

Definition at line 46 of file abcScorr.c.

◆ fFfNdOnly

int Tst_Dat_t_::fFfNdOnly

Definition at line 45 of file abcScorr.c.

◆ fFlopOnly

int Tst_Dat_t_::fFlopOnly

Definition at line 44 of file abcScorr.c.

◆ pAig

Aig_Man_t* Tst_Dat_t_::pAig

Definition at line 40 of file abcScorr.c.

◆ pFileNameOut

char* Tst_Dat_t_::pFileNameOut

Definition at line 43 of file abcScorr.c.

◆ pGia

Gia_Man_t* Tst_Dat_t_::pGia

Definition at line 41 of file abcScorr.c.

◆ pNetlist

Abc_Ntk_t* Tst_Dat_t_::pNetlist

Definition at line 39 of file abcScorr.c.

◆ vId2Name

Vec_Int_t* Tst_Dat_t_::vId2Name

Definition at line 42 of file abcScorr.c.

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