giaSatSyn.c File Reference

#include "gia.h"
#include "misc/util/utilTruth.h"
#include "sat/glucose/AbcGlucose.h"

Include dependency graph for giaSatSyn.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START Gia_Man_t *	Gia_ManSyn (Gia_Man_t *p, int nNodes, int nOuts, int nTimeLimit, int fUseXor, int fFancy, int fVerbose)
	DECLARATIONS ///.

Function Documentation

Gia_ManSyn()

ABC_NAMESPACE_IMPL_START Gia_Man_t * Gia_ManSyn	(	Gia_Man_t *	p,
		int	nNodes,
		int	nOuts,
		int	nTimeLimit,
		int	fUseXor,
		int	fFancy,
		int	fVerbose )

DECLARATIONS ///.

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

FileName [giaSyn.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [High-effort synthesis.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 48 of file giaSatSyn.c.

{
    Gia_Man_t * pNew = NULL;
    return pNew;
}