aigSplit.c File Reference

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

Include dependency graph for aigSplit.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Aig_Man_t *	Aig_ManSplit (Aig_Man_t *p, int nVars, int fVerbose)
	DECLARATIONS ///.

Function Documentation

Aig_ManSplit()

ABC_NAMESPACE_IMPL_START Aig_Man_t * Aig_ManSplit	(	Aig_Man_t *	p,
		int	nVars,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [aigSplit.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [AIG package.]

Synopsis [Splits the property output cone into a set of cofactor properties.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - April 28, 2007.]

Revision [

Id

aigSplit.c,v 1.00 2007/04/28 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS ///

Definition at line 317 of file aigSplit.c.

{
    return NULL;
}