abcDsd.c File Reference

#include "base/abc/abc.h"

Include dependency graph for abcDsd.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Abc_Ntk_t *	Abc_NtkSparsify (Abc_Ntk_t *pNtk, int nPerc, int fVerbose)
	DECLARATIONS ///.
Abc_Ntk_t *	Abc_NtkDsdGlobal (Abc_Ntk_t *pNtk, int fVerbose, int fPrint, int fShort)
int	Abc_NtkDsdLocal (Abc_Ntk_t *pNtk, int fVerbose, int fRecursive)

Function Documentation

Abc_NtkDsdGlobal()

Abc_Ntk_t * Abc_NtkDsdGlobal	(	Abc_Ntk_t *	pNtk,
		int	fVerbose,
		int	fPrint,
		int	fShort )

Definition at line 699 of file abcDsd.c.

{ return NULL; }

Abc_NtkDsdLocal()

int Abc_NtkDsdLocal	(	Abc_Ntk_t *	pNtk,
		int	fVerbose,
		int	fRecursive )

Definition at line 700 of file abcDsd.c.

{ return 0;    }

Abc_NtkSparsify()

ABC_NAMESPACE_IMPL_START Abc_Ntk_t * Abc_NtkSparsify	(	Abc_Ntk_t *	pNtk,
		int	nPerc,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [abcDsd.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Decomposes the network using disjoint-support decomposition.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 698 of file abcDsd.c.

{ return NULL; }