diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-13 10:35:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-13 10:35:02 -0700 |
| commit | 8bfe8d521066a2a607a1c631af1bf4155f8699c7 (patch) | |
| tree | 827268b5b424c69a0c13a0fb6b9ffdc81cab27fe /src/aig | |
| parent | 42ae280089888fd6f4748625dc7b1edf5ad601f0 (diff) | |
| download | abc-8bfe8d521066a2a607a1c631af1bf4155f8699c7.tar.gz abc-8bfe8d521066a2a607a1c631af1bf4155f8699c7.tar.bz2 abc-8bfe8d521066a2a607a1c631af1bf4155f8699c7.zip | |
Adding a debug way to print cuts used in the CNF-generator.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaMf.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c index 086da95b..591f5bc5 100644 --- a/src/aig/gia/giaMf.c +++ b/src/aig/gia/giaMf.c @@ -247,6 +247,14 @@ void Mf_ManProfileTruths( Mf_Man_t * p ) SeeAlso [] ***********************************************************************/ +static inline void Mf_CutPrintOne( int * pCut ) +{ + int i; + printf( "%d {", Mf_CutSize(pCut) ); + for ( i = 1; i <= Mf_CutSize(pCut); i++ ) + printf( " %d", pCut[i] ); + printf( " }\n" ); +} static inline int Mf_CubeLit( int Cube, int iVar ) { return (Cube >> (iVar << 1)) & 3; } static inline int Mf_ManCountLits( int * pCnf, int nCubes, int nVars ) { @@ -287,6 +295,7 @@ Vec_Int_t * Mf_ManDeriveCnfs( Mf_Man_t * p, int * pnVars, int * pnClas, int * pn if ( !Mf_ObjMapRefNum(p, i) ) continue; pCut = Mf_ObjCutBest( p, i ); + //Mf_CutPrintOne( pCut ); iFunc = Abc_Lit2Var( Mf_CutFunc(pCut) ); if ( Vec_IntEntry(vCnfs, iFunc) == -1 ) { |