Fra_Bmc_t_ Struct Reference
Collaboration diagram for Fra_Bmc_t_:
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
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
] DECLARATIONS ///
Definition at line 28 of file fraBmc.c.
Field Documentation
The documentation for this struct was generated from the following file:
- src/aig/fra/fraBmc.c
