abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
dauInt.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [dauInt.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [DAG-aware unmapping.]
8 
9  Synopsis [Interal declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: dauInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__DAU_INT__h
22 #define ABC__DAU_INT__h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 #include <stdio.h>
30 #include <stdlib.h>
31 #include <string.h>
32 #include <assert.h>
33 #include <time.h>
34 #include "misc/vec/vec.h"
35 #include "dau.h"
36 
37 ////////////////////////////////////////////////////////////////////////
38 /// PARAMETERS ///
39 ////////////////////////////////////////////////////////////////////////
40 
41 
42 ABC_NAMESPACE_HEADER_START
43 
44 
45 ////////////////////////////////////////////////////////////////////////
46 /// BASIC TYPES ///
47 ////////////////////////////////////////////////////////////////////////
48 
49 ////////////////////////////////////////////////////////////////////////
50 /// MACRO DEFINITIONS ///
51 ////////////////////////////////////////////////////////////////////////
52 
53 ////////////////////////////////////////////////////////////////////////
54 /// FUNCTION DECLARATIONS ///
55 ////////////////////////////////////////////////////////////////////////
56 
57 /*=== zzz.c ==========================================================*/
58 
59 
60 
61 ABC_NAMESPACE_HEADER_END
62 
63 
64 
65 #endif
66 
67 ////////////////////////////////////////////////////////////////////////
68 /// END OF FILE ///
69 ////////////////////////////////////////////////////////////////////////
70 
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106