Saig_ManCba_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
Abc_Cex_t *	pCex
int	nInputs
int	fVerbose
Aig_Man_t *	pFrames
Vec_Int_t *	vMapPiF2A
Vec_Vec_t *	vReg2Frame
Vec_Vec_t *	vReg2Value

Detailed Description

Definition at line 32 of file absOldCex.c.

Field Documentation

int Saig_ManCba_t_::fVerbose

Definition at line 38 of file absOldCex.c.

int Saig_ManCba_t_::nInputs

Definition at line 37 of file absOldCex.c.

Aig_Man_t* Saig_ManCba_t_::pAig

Definition at line 35 of file absOldCex.c.

Abc_Cex_t* Saig_ManCba_t_::pCex

Definition at line 36 of file absOldCex.c.

Aig_Man_t* Saig_ManCba_t_::pFrames

Definition at line 40 of file absOldCex.c.

Vec_Int_t* Saig_ManCba_t_::vMapPiF2A

Definition at line 41 of file absOldCex.c.

Vec_Vec_t* Saig_ManCba_t_::vReg2Frame

Definition at line 43 of file absOldCex.c.

Vec_Vec_t* Saig_ManCba_t_::vReg2Value

Definition at line 44 of file absOldCex.c.

---

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

• absOldCex.c