[14] | 1 | /**CHeaderFile***************************************************************** |
---|
| 2 | |
---|
| 3 | FileName [ntmaig.h] |
---|
| 4 | |
---|
| 5 | PackageName [ntmaig] |
---|
| 6 | |
---|
| 7 | Synopsis [Construction of mAigs from a flattened network.] |
---|
| 8 | |
---|
| 9 | Description [Provides a routine to build the mvfAigs of the roots of an |
---|
| 10 | arbitrary region of a network, in terms of the leaves of the region. The |
---|
| 11 | leaves can be treated as variables or as specific constants.] |
---|
| 12 | |
---|
| 13 | Author [Mohammad Awedh] |
---|
| 14 | |
---|
| 15 | Copyright [] |
---|
| 16 | |
---|
| 17 | Revision [$Id: ntmaig.h,v 1.3 2005/04/17 14:18:22 awedh Exp $] |
---|
| 18 | |
---|
| 19 | ******************************************************************************/ |
---|
| 20 | |
---|
| 21 | #ifndef _ntmaig |
---|
| 22 | #define _ntmaig |
---|
| 23 | |
---|
| 24 | /*---------------------------------------------------------------------------*/ |
---|
| 25 | /* Nested includes */ |
---|
| 26 | /*---------------------------------------------------------------------------*/ |
---|
| 27 | #include "ntk.h" |
---|
| 28 | #include "baig.h" |
---|
| 29 | |
---|
| 30 | /*---------------------------------------------------------------------------*/ |
---|
| 31 | /* Constant declarations */ |
---|
| 32 | /*---------------------------------------------------------------------------*/ |
---|
| 33 | #define ntmaig_UNUSED (-1) |
---|
| 34 | |
---|
| 35 | /**AutomaticStart*************************************************************/ |
---|
| 36 | |
---|
| 37 | /*---------------------------------------------------------------------------*/ |
---|
| 38 | /* Function prototypes */ |
---|
| 39 | /*---------------------------------------------------------------------------*/ |
---|
| 40 | |
---|
| 41 | EXTERN array_t * ntmaig_NetworkBuildMvfAigs(Ntk_Network_t * network, array_t * roots, st_table * leaves); |
---|
| 42 | EXTERN void ntmAig_MvfAigTableFreeCallback(void *data); |
---|
| 43 | EXTERN void ntmaig_Init(void); |
---|
| 44 | EXTERN void ntmaig_End(void); |
---|
| 45 | |
---|
| 46 | /**AutomaticEnd***************************************************************/ |
---|
| 47 | |
---|
| 48 | #endif /* _ntmaig */ |
---|
| 49 | |
---|
| 50 | |
---|
| 51 | |
---|