diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-02 22:22:49 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-02 22:22:49 -0700 |
commit | 7e85276780c83538813329325ba1b28e95333be5 (patch) | |
tree | 5e7e21a0a46230c4c9d3cc99abb19990bafb8d73 /src/opt/sfm/sfmCnf.c | |
parent | f1c9f1829a1960865bd7b964169f714abc3db597 (diff) | |
download | abc-7e85276780c83538813329325ba1b28e95333be5.tar.gz abc-7e85276780c83538813329325ba1b28e95333be5.tar.bz2 abc-7e85276780c83538813329325ba1b28e95333be5.zip |
New MFS package.
Diffstat (limited to 'src/opt/sfm/sfmCnf.c')
-rw-r--r-- | src/opt/sfm/sfmCnf.c | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/src/opt/sfm/sfmCnf.c b/src/opt/sfm/sfmCnf.c new file mode 100644 index 00000000..9518c37a --- /dev/null +++ b/src/opt/sfm/sfmCnf.c @@ -0,0 +1,56 @@ +/**CFile**************************************************************** + + FileName [sfmCnf.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [SAT-based optimization using internal don't-cares.] + + Synopsis [CNF computation.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: sfmCnf.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "sfmInt.h" + +ABC_NAMESPACE_IMPL_START + + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Int_t * Sfm_TruthToCnf( word Truth ) +{ + return NULL; +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |