| [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 | |
|---|