ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
template.c File Reference
#include "aig/aig/aig.h"
Include dependency graph for template.c:

Go to the source code of this file.

Classes

struct  Xyz_ParTry_t_
 
struct  Xyz_ManTry_t_
 

Functions

Xyz_ManTry_tXyz_ManTryAlloc (Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
 FUNCTION DEFINITIONS ///.
 
void Xyz_ManTryFree (Xyz_ManTry_t *p)
 
int Xyz_ManPerform (Aig_Man_t *pAig, Xyz_ParTry_t *pPar)
 

Function Documentation

◆ Xyz_ManPerform()

int Xyz_ManPerform ( Aig_Man_t * pAig,
Xyz_ParTry_t * pPar )

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 95 of file template.c.

96{
98 int RetValue;
99 p = Xyz_ManTryAlloc( pAig, pPar );
100 RetValue = 1;
101 Xyz_ManTryFree( p );
102 return RetValue;
103}
struct Xyz_ManTry_t_ Xyz_ManTry_t
Definition dauCore.c:38
Cube * p
Definition exorList.c:222
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
Here is the call graph for this function:

◆ Xyz_ManTryAlloc()

Xyz_ManTry_t * Xyz_ManTryAlloc ( Aig_Man_t * pAig,
Xyz_ParTry_t * pPar )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 59 of file template.c.

60{
63 p->pAig = pAig;
64 p->pPar = pPar;
65 return p;
66}
#define ABC_CALLOC(type, num)
Definition abc_global.h:265
Here is the caller graph for this function:

◆ Xyz_ManTryFree()

void Xyz_ManTryFree ( Xyz_ManTry_t * p)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 79 of file template.c.

80{
81 ABC_FREE( p );
82}
#define ABC_FREE(obj)
Definition abc_global.h:267
Here is the caller graph for this function: