ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
dauCore.c
Go to the documentation of this file.
1
20
21#include "dauInt.h"
22#include "aig/aig/aig.h"
23
25
29
30// parameter structure
33{
34 int Par;
35};
36
37// operation manager
40{
41 Xyz_ParTry_t * pPar; // parameters
42 Aig_Man_t * pAig; // user's AIG
43};
44
48
61{
64 p->pAig = pAig;
65 p->pPar = pPar;
66 return p;
67}
68
81{
82 ABC_FREE( p );
83}
84
97{
99 int RetValue;
100 p = Xyz_ManTryAlloc( pAig, pPar );
101 RetValue = 1;
102 Xyz_ManTryFree( p );
103 return RetValue;
104}
105
109
110
112
#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
Xyz_ManTry_t * Xyz_ManTryAlloc(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
FUNCTION DEFINITIONS ///.
Definition dauCore.c:60
typedefABC_NAMESPACE_IMPL_START struct Xyz_ParTry_t_ Xyz_ParTry_t
DECLARATIONS ///.
Definition dauCore.c:31
void Xyz_ManTryFree(Xyz_ManTry_t *p)
Definition dauCore.c:80
int Xyz_ManPerform(Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
Definition dauCore.c:96
Cube * p
Definition exorList.c:222
Xyz_ParTry_t * pPar
Definition dauCore.c:41
Aig_Man_t * pAig
Definition dauCore.c:42