Fra_Bmc_t_ Struct Reference

DECLARATIONS ///. More...

Data Fields
int	nPref
int	nDepth
int	nFramesAll
Vec_Int_t *	vImps
Aig_Man_t *	pAig
Aig_Man_t *	pAigFrames
Aig_Man_t *	pAigFraig
Aig_Obj_t **	pObjToFrames
Aig_Obj_t **	pObjToFraig

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [fraBmc.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [New FRAIG package.]

Synopsis [Bounded model checking.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 30, 2007.]

Revision [

Id:

fraBmc.c,v 1.00 2007/06/30 00:00:00 alanmi Exp

]

Definition at line 31 of file fraBmc.c.

Field Documentation

int Fra_Bmc_t_::nDepth

Definition at line 35 of file fraBmc.c.

int Fra_Bmc_t_::nFramesAll

Definition at line 36 of file fraBmc.c.

int Fra_Bmc_t_::nPref

Definition at line 34 of file fraBmc.c.

Aig_Man_t* Fra_Bmc_t_::pAig

Definition at line 40 of file fraBmc.c.

Aig_Man_t* Fra_Bmc_t_::pAigFraig

Definition at line 42 of file fraBmc.c.

Aig_Man_t* Fra_Bmc_t_::pAigFrames

Definition at line 41 of file fraBmc.c.

Aig_Obj_t** Fra_Bmc_t_::pObjToFraig

Definition at line 45 of file fraBmc.c.

Aig_Obj_t** Fra_Bmc_t_::pObjToFrames

Definition at line 44 of file fraBmc.c.

Vec_Int_t* Fra_Bmc_t_::vImps

Definition at line 38 of file fraBmc.c.

---

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

• fraBmc.c