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 ***********************************************************************/ Xyz_ManTryAlloc(Aig_Man_t * pAig,Xyz_ParTry_t * pPar)60Xyz_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 ***********************************************************************/ Xyz_ManTryFree(Xyz_ManTry_t * p)80void 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 ***********************************************************************/ Xyz_ManPerform(Aig_Man_t * pAig,Xyz_ParTry_t * pPar)96int 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 113