abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
dauCore.c
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [dauCore.c]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [DAG-aware unmapping.]
8 
9  Synopsis [Disjoint-support decomposition.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: dauCore.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #include "dauInt.h"
22 #include "aig/aig/aig.h"
23 
24 ABC_NAMESPACE_IMPL_START
25 
26 ////////////////////////////////////////////////////////////////////////
27 /// DECLARATIONS ///
28 ////////////////////////////////////////////////////////////////////////
29 
30 // parameter structure
31 typedef struct Xyz_ParTry_t_ Xyz_ParTry_t;
32 struct Xyz_ParTry_t_
33 {
34  int Par;
35 };
36 
37 // operation manager
38 typedef struct Xyz_ManTry_t_ Xyz_ManTry_t;
39 struct Xyz_ManTry_t_
40 {
41  Xyz_ParTry_t * pPar; // parameters
42  Aig_Man_t * pAig; // user's AIG
43 };
44 
45 ////////////////////////////////////////////////////////////////////////
46 /// FUNCTION DEFINITIONS ///
47 ////////////////////////////////////////////////////////////////////////
48 
49 /**Function*************************************************************
50 
51  Synopsis []
52 
53  Description []
54 
55  SideEffects []
56 
57  SeeAlso []
58 
59 ***********************************************************************/
60 Xyz_ManTry_t * Xyz_ManTryAlloc( Aig_Man_t * pAig, Xyz_ParTry_t * pPar )
61 {
62  Xyz_ManTry_t * p;
63  p = ABC_CALLOC( Xyz_ManTry_t, 1 );
64  p->pAig = pAig;
65  p->pPar = pPar;
66  return p;
67 }
68 
69 /**Function*************************************************************
70 
71  Synopsis []
72 
73  Description []
74 
75  SideEffects []
76 
77  SeeAlso []
78 
79 ***********************************************************************/
80 void Xyz_ManTryFree( Xyz_ManTry_t * p )
81 {
82  ABC_FREE( p );
83 }
84 
85 /**Function*************************************************************
86 
87  Synopsis []
88 
89  Description []
90 
91  SideEffects []
92 
93  SeeAlso []
94 
95 ***********************************************************************/
96 int Xyz_ManPerform( Aig_Man_t * pAig, Xyz_ParTry_t * pPar )
97 {
98  Xyz_ManTry_t * p;
99  int RetValue;
100  p = Xyz_ManTryAlloc( pAig, pPar );
101  RetValue = 1;
102  Xyz_ManTryFree( p );
103  return RetValue;
104 }
105 
106 ////////////////////////////////////////////////////////////////////////
107 /// END OF FILE ///
108 ////////////////////////////////////////////////////////////////////////
109 
110 
111 ABC_NAMESPACE_IMPL_END
112 
Xyz_ManTry_t_::pAig
Aig_Man_t * pAig
Definition: dauCore.c:42
Aig_Man_t
typedefABC_NAMESPACE_HEADER_START struct Aig_Man_t_ Aig_Man_t
INCLUDES ///.
Definition: aig.h:50
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Xyz_ManPerform
int Xyz_ManPerform(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
Definition: dauCore.c:96
Xyz_ManTryAlloc
Xyz_ManTry_t * Xyz_ManTryAlloc(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
FUNCTION DEFINITIONS ///.
Definition: dauCore.c:60
Xyz_ParTry_t_
Definition: dauCore.c:32
Xyz_ParTry_t
typedefABC_NAMESPACE_IMPL_START struct Xyz_ParTry_t_ Xyz_ParTry_t
DECLARATIONS ///.
Definition: dauCore.c:31
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition: abc_global.h:108
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition: abc_global.h:107
ABC_FREE
#define ABC_FREE(obj)
Definition: abc_global.h:232
Xyz_ManTry_t_
Definition: dauCore.c:39
ABC_CALLOC
#define ABC_CALLOC(type, num)
Definition: abc_global.h:230
Xyz_ManTry_t_::pPar
Xyz_ParTry_t * pPar
Definition: dauCore.c:41
Xyz_ManTryFree
void Xyz_ManTryFree(Xyz_ManTry_t *p)
Definition: dauCore.c:80
Xyz_ParTry_t_::Par
int Par
Definition: dauCore.c:34