dauCore.c File Reference

#include "dauInt.h"
#include "aig/aig/aig.h"

Go to the source code of this file.

Data Structures
struct	Xyz_ParTry_t_
struct	Xyz_ManTry_t_

Typedefs
typedef typedefABC_NAMESPACE_IMPL_START struct Xyz_ParTry_t_	Xyz_ParTry_t
	DECLARATIONS ///. More...
typedef struct Xyz_ManTry_t_	Xyz_ManTry_t

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

Typedef Documentation

typedef struct Xyz_ManTry_t_ Xyz_ManTry_t

Definition at line 38 of file dauCore.c.

typedef typedefABC_NAMESPACE_IMPL_START struct Xyz_ParTry_t_ Xyz_ParTry_t

DECLARATIONS ///.

CFile****************************************************************

FileName [dauCore.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [DAG-aware unmapping.]

Synopsis [Disjoint-support decomposition.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

dauCore.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 31 of file dauCore.c.

Function Documentation

int Xyz_ManPerform	(	Aig_Man_t *	pAig,
		Xyz_ParTry_t *	pPar
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 96 of file dauCore.c.

{
    Xyz_ManTry_t * p;
    int RetValue;
    p = Xyz_ManTryAlloc( pAig, pPar );
    RetValue = 1;
    Xyz_ManTryFree( p );
    return RetValue;
}

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

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file dauCore.c.

{
    Xyz_ManTry_t * p;
    p = ABC_CALLOC( Xyz_ManTry_t, 1 );
    p->pAig    = pAig;
    p->pPar    = pPar;
    return p;
}

void Xyz_ManTryFree

(

Xyz_ManTry_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 80 of file dauCore.c.

{
    ABC_FREE( p );
}