Tst_Dat_t_ Struct Reference

Data Fields
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.

Field Documentation

int Tst_Dat_t_::fDumpBmc

Definition at line 46 of file abcScorr.c.

int Tst_Dat_t_::fFfNdOnly

Definition at line 45 of file abcScorr.c.

int Tst_Dat_t_::fFlopOnly

Definition at line 44 of file abcScorr.c.

Aig_Man_t* Tst_Dat_t_::pAig

Definition at line 40 of file abcScorr.c.

char* Tst_Dat_t_::pFileNameOut

Definition at line 43 of file abcScorr.c.

Gia_Man_t* Tst_Dat_t_::pGia

Definition at line 41 of file abcScorr.c.

Abc_Ntk_t* Tst_Dat_t_::pNetlist

Definition at line 39 of file abcScorr.c.

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:

• abcScorr.c