giaResub3.c File Reference

#include "gia.h"

Include dependency graph for giaResub3.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Gia_Man_t *	Gia_ManPerformNewResub (Gia_Man_t *p, int nWinCount, int nCutSize, int nProcs, int fVerbose)
	DECLARATIONS ///.

Function Documentation

Gia_ManPerformNewResub()

ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManPerformNewResub	(	Gia_Man_t *	p,
		int	nWinCount,
		int	nCutSize,
		int	nProcs,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [giaResub3.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Resubstitution computation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 44 of file giaResub3.c.

{
    return NULL;
}