diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-06 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-09-06 08:01:00 -0700 |
| commit | 9be1b076934b0410689c857cd71ef7d21a714b5f (patch) | |
| tree | c342242ad3c5ea9d35e6e682f9026534ec73fcbe /src/aig/dar/darRefact.c | |
| parent | b2470dd3da962026fd874e13c2cf78c10099fe68 (diff) | |
| download | abc-9be1b076934b0410689c857cd71ef7d21a714b5f.tar.gz abc-9be1b076934b0410689c857cd71ef7d21a714b5f.tar.bz2 abc-9be1b076934b0410689c857cd71ef7d21a714b5f.zip | |
Version abc70906
Diffstat (limited to 'src/aig/dar/darRefact.c')
| -rw-r--r-- | src/aig/dar/darRefact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darRefact.c b/src/aig/dar/darRefact.c index b304fe34..a5435862 100644 --- a/src/aig/dar/darRefact.c +++ b/src/aig/dar/darRefact.c @@ -309,7 +309,7 @@ Aig_Obj_t * Dar_RefactBuildGraph( Aig_Man_t * pAig, Vec_Ptr_t * vCut, Kit_Graph_ if ( Kit_GraphIsVar(pGraph) ) return Aig_NotCond( Kit_GraphVar(pGraph)->pFunc, Kit_GraphIsComplement(pGraph) ); // build the AIG nodes corresponding to the AND gates of the graph -//printf( "Building (current number %d):\n", Aig_ManObjIdMax(pAig) ); +//printf( "Building (current number %d):\n", Aig_ManObjNumMax(pAig) ); Kit_GraphForEachNode( pGraph, pNode, i ) { pAnd0 = Aig_NotCond( Kit_GraphNode(pGraph, pNode->eEdge0.Node)->pFunc, pNode->eEdge0.fCompl ); |