diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-12 09:10:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-12 09:10:27 -0700 |
| commit | 3ac8aa9c12adb9593f498dc1ea33bbdce18e6713 (patch) | |
| tree | 1c9e37fc2907d5d83f7d9960c9136acc1abbefe9 /src/aig/gia/giaMf.c | |
| parent | bc4164a466e566ff9d2e800aa3cc141622514135 (diff) | |
| download | abc-3ac8aa9c12adb9593f498dc1ea33bbdce18e6713.tar.gz abc-3ac8aa9c12adb9593f498dc1ea33bbdce18e6713.tar.bz2 abc-3ac8aa9c12adb9593f498dc1ea33bbdce18e6713.zip | |
Recommended changes for portability.
Diffstat (limited to 'src/aig/gia/giaMf.c')
| -rw-r--r-- | src/aig/gia/giaMf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index f52cb7ec..03848f1e 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -23,6 +23,7 @@ #include "misc/util/utilTruth.h" #include "misc/extra/extra.h" #include "sat/cnf/cnf.h" +#include "opt/dau/dau.h" ABC_NAMESPACE_IMPL_START @@ -96,7 +97,6 @@ static inline int Mf_CutIsTriv( int * pCut, int i ) { return Mf #define Mf_ObjForEachCut( pCuts, i, nCuts ) for ( i = 0, i < nCuts; i++ ) extern int Kit_TruthToGia( Gia_Man_t * pMan, unsigned * pTruth, int nVars, Vec_Int_t * vMemory, Vec_Int_t * vLeaves, int fHash ); -extern void Dau_DsdPrintFromTruth( word * pTruth, int nVarsInit ); //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |