abcNtbdd.c File Reference

#include "base/abc/abc.h"
#include "aig/saig/saig.h"

Include dependency graph for abcNtbdd.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START double	Abc_NtkSpacePercentage (Abc_Obj_t *pNode)
	DECLARATIONS ///.
Abc_Ntk_t *	Abc_NtkBddToMuxes (Abc_Ntk_t *pNtk, int fGlobal, int Limit, int fUseAdd)

Function Documentation

Abc_NtkBddToMuxes()

Abc_Ntk_t * Abc_NtkBddToMuxes	(	Abc_Ntk_t *	pNtk,
		int	fGlobal,
		int	Limit,
		int	fUseAdd )

Definition at line 687 of file abcNtbdd.c.

{ return NULL; }

Here is the caller graph for this function:

Abc_NtkSpacePercentage()

ABC_NAMESPACE_IMPL_START double Abc_NtkSpacePercentage

(

Abc_Obj_t *

pNode

)

DECLARATIONS ///.

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

FileName [abcNtbdd.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Procedures to translate between the BDD and the network.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 686 of file abcNtbdd.c.

{ return 0.0; }