giaKf.c File Reference

#include "gia.h"
#include "misc/vec/vecSet.h"
#include <unistd.h>

Include dependency graph for giaKf.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START void	Kf_ManSetDefaultPars (Jf_Par_t *pPars)
	DECLARATIONS ///.
Gia_Man_t *	Kf_ManPerformMapping (Gia_Man_t *pGia, Jf_Par_t *pPars)

Function Documentation

Kf_ManPerformMapping()

Gia_Man_t * Kf_ManPerformMapping	(	Gia_Man_t *	pGia,
		Jf_Par_t *	pPars )

Definition at line 49 of file giaKf.c.

{ return NULL; }

Kf_ManSetDefaultPars()

ABC_NAMESPACE_IMPL_START void Kf_ManSetDefaultPars

(

Jf_Par_t *

pPars

)

DECLARATIONS ///.

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

FileName [giaKf.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Cut computation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 48 of file giaKf.c.

{}