giaIiff.c File Reference

#include "gia.h"
#include "misc/st/st.h"
#include "map/mio/mio.h"

Include dependency graph for giaIiff.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	Gia_ManDeriveMatches (Vec_Ptr_t **pvNames, Vec_Wrd_t **pvTruths, Vec_Int_t **pvTt2Match4, Vec_Int_t **pvConfigs, Vec_Mem_t *pvTtMem2[3], Vec_Int_t *pvTt2Match2[3])
	DECLARATIONS ///.
Gia_Man_t *	Gia_ManIiffTest (char *pFileName, Gia_Man_t *pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fUseLuts, int fVerbose)

Function Documentation

Gia_ManDeriveMatches()

ABC_NAMESPACE_IMPL_START int Gia_ManDeriveMatches	(	Vec_Ptr_t **	pvNames,
		Vec_Wrd_t **	pvTruths,
		Vec_Int_t **	pvTt2Match4,
		Vec_Int_t **	pvConfigs,
		Vec_Mem_t *	pvTtMem2[3],
		Vec_Int_t *	pvTt2Match2[3] )

DECLARATIONS ///.

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

FileName [giaIiff.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Boolean matching.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file giaIiff.c.

{
    return 0;
}

Here is the caller graph for this function:

Gia_ManIiffTest()

Gia_Man_t * Gia_ManIiffTest	(	char *	pFileName,
		Gia_Man_t *	pGia,
		int	nLutSize,
		int	nNumCuts,
		int	fUseGates,
		int	fUseCells,
		int	fUseLuts,
		int	fVerbose )

Definition at line 51 of file giaIiff.c.

{
    return NULL;
}