abcMinBase.c File Reference

#include "abc.h"

Include dependency graph for abcMinBase.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	Abc_NtkMinimumBase (Abc_Ntk_t *pNtk)
	DECLARATIONS ///.
int	Abc_NodeMinimumBase (Abc_Obj_t *pNode)
int	Abc_NtkRemoveDupFanins (Abc_Ntk_t *pNtk)
int	Abc_NtkEliminateSpecial (Abc_Ntk_t *pNtk, int nMaxSize, int fVerbose)
int	Abc_NtkEliminate (Abc_Ntk_t *pNtk, int nMaxSize, int fReverse, int fVerbose)
int	Abc_NtkEliminate1 (Abc_Ntk_t *pNtk, int ElimValue, int nMaxSize, int nIterMax, int fReverse, int fVerbose)

Function Documentation

Abc_NodeMinimumBase()

int Abc_NodeMinimumBase

(

Abc_Obj_t *

pNode

)

Definition at line 893 of file abcMinBase.c.

{ return 0; }

Abc_NtkEliminate()

int Abc_NtkEliminate	(	Abc_Ntk_t *	pNtk,
		int	nMaxSize,
		int	fReverse,
		int	fVerbose )

Definition at line 896 of file abcMinBase.c.

{ return 0; }

Abc_NtkEliminate1()

int Abc_NtkEliminate1	(	Abc_Ntk_t *	pNtk,
		int	ElimValue,
		int	nMaxSize,
		int	nIterMax,
		int	fReverse,
		int	fVerbose )

Definition at line 897 of file abcMinBase.c.

{ return 0; }

Abc_NtkEliminateSpecial()

int Abc_NtkEliminateSpecial	(	Abc_Ntk_t *	pNtk,
		int	nMaxSize,
		int	fVerbose )

Definition at line 895 of file abcMinBase.c.

{ return 0; }

Abc_NtkMinimumBase()

ABC_NAMESPACE_IMPL_START int Abc_NtkMinimumBase

(

Abc_Ntk_t *

pNtk

)

DECLARATIONS ///.

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

FileName [abcMinBase.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Makes nodes of the network minimum base.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 892 of file abcMinBase.c.

{ return 0; }

Here is the caller graph for this function:

Abc_NtkRemoveDupFanins()

int Abc_NtkRemoveDupFanins

(

Abc_Ntk_t *

pNtk

)

Definition at line 894 of file abcMinBase.c.

{ return 0; }