giaClp.c File Reference

#include "gia.h"

Include dependency graph for giaClp.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Gia_Man_t *	Gia_ManCollapseTest (Gia_Man_t *p, int fVerbose)
	DECLARATIONS ///.
void	Gia_ManCheckDsd (Gia_Man_t *p, int OffSet, int fVerbose)
void	Gia_ManRecurDsd (Gia_Man_t *p, int fVerbose)

Function Documentation

Gia_ManCheckDsd()

void Gia_ManCheckDsd	(	Gia_Man_t *	p,
		int	OffSet,
		int	fVerbose )

Definition at line 517 of file giaClp.c.

{
}

Gia_ManCollapseTest()

ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManCollapseTest	(	Gia_Man_t *	p,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [giaClp.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Collapsing AIG.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 512 of file giaClp.c.

{
    return NULL;
}

Gia_ManRecurDsd()

void Gia_ManRecurDsd	(	Gia_Man_t *	p,
		int	fVerbose )

Definition at line 521 of file giaClp.c.

{
}