diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-04-10 08:01:00 -0700 |
| commit | ccd1b57264d3bf1514410747cdcf6e4731ac7f2a (patch) | |
| tree | 17993c239735ee63c4e8ed69cb1c3df7eacecc6d /src/aig/ssw | |
| parent | df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b (diff) | |
| download | abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.tar.gz abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.tar.bz2 abc-ccd1b57264d3bf1514410747cdcf6e4731ac7f2a.zip | |
Version abc90410
Diffstat (limited to 'src/aig/ssw')
| -rw-r--r-- | src/aig/ssw/sswClass.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ssw/sswClass.c b/src/aig/ssw/sswClass.c index 8fce7904..ce6ebf85 100644 --- a/src/aig/ssw/sswClass.c +++ b/src/aig/ssw/sswClass.c @@ -392,7 +392,7 @@ void Ssw_ClassesPrintOne( Ssw_Cla_t * p, Aig_Obj_t * pRepr ) printf( "{ " ); Ssw_ClassForEachNode( p, pRepr, pObj, i ) printf( "%d(%d,%d,%d) ", pObj->Id, pObj->Level, - Aig_SupportSize(p->pAig,pObj), Aig_NodeMffsSupp(p->pAig,pObj,0,NULL) ); + Aig_SupportSize(p->pAig,pObj), Aig_NodeMffcSupp(p->pAig,pObj,0,NULL) ); printf( "}\n" ); } @@ -420,7 +420,7 @@ void Ssw_ClassesPrint( Ssw_Cla_t * p, int fVeryVerbose ) Aig_ManForEachObj( p->pAig, pObj, i ) if ( Ssw_ObjIsConst1Cand( p->pAig, pObj ) ) printf( "%d(%d,%d,%d) ", pObj->Id, pObj->Level, - Aig_SupportSize(p->pAig,pObj), Aig_NodeMffsSupp(p->pAig,pObj,0,NULL) ); + Aig_SupportSize(p->pAig,pObj), Aig_NodeMffcSupp(p->pAig,pObj,0,NULL) ); printf( "}\n" ); Ssw_ManForEachClass( p, ppClass, i ) { |