From 85e23c84597c57d45c70125871fb3b6e1352aa90 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 17 Jun 2014 21:00:51 -0700 Subject: Various changes to enable better CNF generation. --- src/aig/gia/gia.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/aig/gia/gia.h') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 426660a4..8872ef83 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1175,6 +1175,9 @@ extern void Gia_MmStepStop( Gia_MmStep_t * p, int fVerbose ); extern char * Gia_MmStepEntryFetch( Gia_MmStep_t * p, int nBytes ); extern void Gia_MmStepEntryRecycle( Gia_MmStep_t * p, char * pEntry, int nBytes ); extern int Gia_MmStepReadMemUsage( Gia_MmStep_t * p ); +/*=== giaMf.c ===========================================================*/ +extern void Mf_ManSetDefaultPars( Jf_Par_t * pPars ); +extern Gia_Man_t * Mf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ); /*=== giaMini.c ===========================================================*/ extern Gia_Man_t * Gia_ManReadMiniAig( char * pFileName ); extern void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName ); -- cgit v1.2.3