ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
template.c
Go to the documentation of this file.
1
20
21#include "aig/aig/aig.h"
22
24
28
29// parameter structure
30typedef struct Xyz_ParTry_t_ Xyz_ParTry_t;
31struct Xyz_ParTry_t_
32{
33 int Par;
34};
35
36// operation manager
37typedef struct Xyz_ManTry_t_ Xyz_ManTry_t;
38struct Xyz_ManTry_t_
39{
40 Xyz_ParTry_t * pPar; // parameters
41 Aig_Man_t * pAig; // user's AIG
42};
43
47
60{
63 p->pAig = pAig;
64 p->pPar = pPar;
65 return p;
66}
67
80{
81 ABC_FREE( p );
82}
83
96{
98 int RetValue;
99 p = Xyz_ManTryAlloc( pAig, pPar );
100 RetValue = 1;
101 Xyz_ManTryFree( p );
102 return RetValue;
103}
104
108
109
111
#define ABC_CALLOC(type, num)
Definition abc_global.h:265
#define ABC_FREE(obj)
Definition abc_global.h:267
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
typedefABC_NAMESPACE_HEADER_START struct Aig_Man_t_ Aig_Man_t
INCLUDES ///.
Definition aig.h:50
struct Xyz_ManTry_t_ Xyz_ManTry_t
Definition dauCore.c:38
typedefABC_NAMESPACE_IMPL_START struct Xyz_ParTry_t_ Xyz_ParTry_t
DECLARATIONS ///.
Definition dauCore.c:31
Cube * p
Definition exorList.c:222
Xyz_ParTry_t * pPar
Definition dauCore.c:41
Aig_Man_t * pAig
Definition dauCore.c:42
Xyz_ManTry_t * Xyz_ManTryAlloc(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
FUNCTION DEFINITIONS ///.
Definition template.c:59
void Xyz_ManTryFree(Xyz_ManTry_t *p)
Definition template.c:79
int Xyz_ManPerform(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
Definition template.c:95