source: vis_dev/vis-2.3/src/ntmaig/ntmaig.h @ 93

Last change on this file since 93 was 14, checked in by cecile, 13 years ago

vis2.3

  • Property svn:executable set to *
File size: 1.8 KB
Line 
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
41EXTERN array_t * ntmaig_NetworkBuildMvfAigs(Ntk_Network_t * network, array_t * roots, st_table * leaves);
42EXTERN void ntmAig_MvfAigTableFreeCallback(void *data);
43EXTERN void ntmaig_Init(void);
44EXTERN void ntmaig_End(void);
45
46/**AutomaticEnd***************************************************************/
47
48#endif /* _ntmaig */
49
50
51
Note: See TracBrowser for help on using the repository browser.