diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-02 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-02 08:01:00 -0800 |
commit | 3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb (patch) | |
tree | 67eca47f6d2a8acbcc51566c801620827544c3ff /src/opt/mfs/mfsMan.c | |
parent | 0c6505a26a537dc911b6566f82d759521e527c08 (diff) | |
download | abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.tar.gz abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.tar.bz2 abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.zip |
Version abc80202
Diffstat (limited to 'src/opt/mfs/mfsMan.c')
-rw-r--r-- | src/opt/mfs/mfsMan.c | 132 |
1 files changed, 132 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsMan.c b/src/opt/mfs/mfsMan.c new file mode 100644 index 00000000..1341e373 --- /dev/null +++ b/src/opt/mfs/mfsMan.c @@ -0,0 +1,132 @@ +/**CFile**************************************************************** + + FileName [mfsMan.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [The good old minimization with complete don't-cares.] + + Synopsis [Procedure to manipulation the manager.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: mfsMan.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "mfsInt.h" + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Mfs_Man_t * Mfs_ManAlloc() +{ + Mfs_Man_t * p; + // start the manager + p = ALLOC( Mfs_Man_t, 1 ); + memset( p, 0, sizeof(Mfs_Man_t) ); + p->vProjVars = Vec_IntAlloc( 100 ); + return p; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mfs_ManClean( Mfs_Man_t * p ) +{ + if ( p->pAigWin ) + Aig_ManStop( p->pAigWin ); + if ( p->pCnf ) + Cnf_DataFree( p->pCnf ); + if ( p->pSat ) + sat_solver_delete( p->pSat ); + if ( p->vRoots ) + Vec_PtrFree( p->vRoots ); + if ( p->vSupp ) + Vec_PtrFree( p->vSupp ); + if ( p->vNodes ) + Vec_PtrFree( p->vNodes ); + p->pAigWin = NULL; + p->pCnf = NULL; + p->pSat = NULL; + p->vRoots = NULL; + p->vSupp = NULL; + p->vNodes = NULL; +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mfs_ManPrint( Mfs_Man_t * p ) +{ + printf( "Nodes tried = %d. Bad nodes = %d.\n", + p->nNodesTried, p->nNodesBad ); + printf( "Total mints = %d. Care mints = %d. Ratio = %5.2f.\n", + p->nMintsTotal, p->nMintsCare, 1.0 * p->nMintsCare / p->nMintsTotal ); + PRT( "Win", p->timeWin ); + PRT( "Aig", p->timeAig ); + PRT( "Cnf", p->timeCnf ); + PRT( "Sat", p->timeSat ); +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mfs_ManStop( Mfs_Man_t * p ) +{ + Mfs_ManPrint( p ); + Mfs_ManClean( p ); + Vec_IntFree( p->vProjVars ); + free( p ); +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + |