diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-26 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-26 08:01:00 -0800 |
commit | 6537f941887b06e588d3acfc97b5fdf48875cc4e (patch) | |
tree | 61e11fbdd1bbcb781cf05f91f5095f559a58ab25 /src/aig/dar/darCut.c | |
parent | 6c68b76bff33daa7cd94b78c51bdd4cdaf65059c (diff) | |
download | abc-6537f941887b06e588d3acfc97b5fdf48875cc4e.tar.gz abc-6537f941887b06e588d3acfc97b5fdf48875cc4e.tar.bz2 abc-6537f941887b06e588d3acfc97b5fdf48875cc4e.zip |
Version abc80126
Diffstat (limited to 'src/aig/dar/darCut.c')
-rw-r--r-- | src/aig/dar/darCut.c | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/aig/dar/darCut.c b/src/aig/dar/darCut.c index b0aff095..79e4dcc4 100644 --- a/src/aig/dar/darCut.c +++ b/src/aig/dar/darCut.c @@ -30,6 +30,47 @@ /**Function************************************************************* + Synopsis [Prints one cut.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Dar_CutPrint( Dar_Cut_t * pCut ) +{ + unsigned i; + printf( "{" ); + for ( i = 0; i < pCut->nLeaves; i++ ) + printf( " %d", pCut->pLeaves[i] ); + printf( " }\n" ); +} + +/**Function************************************************************* + + Synopsis [Prints one cut.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Dar_ObjCutPrint( Aig_Man_t * p, Aig_Obj_t * pObj ) +{ + Dar_Cut_t * pCut; + int i; + printf( "Cuts for node %d:\n", pObj->Id ); + Dar_ObjForEachCut( pObj, pCut, i ) + Dar_CutPrint( pCut ); +// printf( "\n" ); +} + +/**Function************************************************************* + Synopsis [Returns the number of 1s in the machine word.] Description [] |