diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-17 21:00:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-17 21:00:51 -0700 |
commit | 85e23c84597c57d45c70125871fb3b6e1352aa90 (patch) | |
tree | 76fa0aa729f1bee955fb8f997f8e8a96aae409cf /src/aig/gia/giaMf.c | |
parent | a03a726de2580b5a58610c4435129d4af66f1c84 (diff) | |
download | abc-85e23c84597c57d45c70125871fb3b6e1352aa90.tar.gz abc-85e23c84597c57d45c70125871fb3b6e1352aa90.tar.bz2 abc-85e23c84597c57d45c70125871fb3b6e1352aa90.zip |
Various changes to enable better CNF generation.
Diffstat (limited to 'src/aig/gia/giaMf.c')
-rw-r--r-- | src/aig/gia/giaMf.c | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c new file mode 100644 index 00000000..c43b6aec --- /dev/null +++ b/src/aig/gia/giaMf.c @@ -0,0 +1,62 @@ +/**CFile**************************************************************** + + FileName [giaMf.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Scalable AIG package.] + + Synopsis [Cut computation.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: giaMf.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "gia.h" +#include "misc/vec/vecSet.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Mf_ManSetDefaultPars( Jf_Par_t * pPars ) +{ + Jf_ManSetDefaultPars( pPars ); +} +Gia_Man_t * Mf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) +{ + return Jf_ManPerformMapping( pGia, pPars ); +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |