diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-29 17:11:03 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-29 17:11:03 -0400 |
| commit | 71bdfae94122fff6f245c47721d284f78c286164 (patch) | |
| tree | c63b5c3eb3fc06d565f32a31d2f82ba273bdafaf /src/bdd/dsd/dsdMan.c | |
| parent | 5cf9d6ddd7fb5a22731f4d61cc984abc48e3f930 (diff) | |
| download | abc-71bdfae94122fff6f245c47721d284f78c286164.tar.gz abc-71bdfae94122fff6f245c47721d284f78c286164.tar.bz2 abc-71bdfae94122fff6f245c47721d284f78c286164.zip | |
Replacing 'st_table' by 'st__table' to resolve linker problems.
Diffstat (limited to 'src/bdd/dsd/dsdMan.c')
| -rw-r--r-- | src/bdd/dsd/dsdMan.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/bdd/dsd/dsdMan.c b/src/bdd/dsd/dsdMan.c index 8d108317..1490fcf3 100644 --- a/src/bdd/dsd/dsdMan.c +++ b/src/bdd/dsd/dsdMan.c @@ -63,19 +63,19 @@ Dsd_Manager_t * Dsd_ManagerStart( DdManager * dd, int nSuppMax, int fVerbose ) dMan->pInputs = (Dsd_Node_t **) ABC_ALLOC( char, dMan->nInputs * sizeof(Dsd_Node_t *) ); // create the primary inputs and insert them into the table - dMan->Table = st_init_table(st_ptrcmp, st_ptrhash); + dMan->Table = st__init_table( st__ptrcmp, st__ptrhash); for ( i = 0; i < dMan->nInputs; i++ ) { pNode = Dsd_TreeNodeCreate( DSD_NODE_BUF, 1, 0 ); pNode->G = dd->vars[i]; Cudd_Ref( pNode->G ); pNode->S = dd->vars[i]; Cudd_Ref( pNode->S ); - st_insert( dMan->Table, (char*)dd->vars[i], (char*)pNode ); + st__insert( dMan->Table, (char*)dd->vars[i], (char*)pNode ); dMan->pInputs[i] = pNode; } pNode = Dsd_TreeNodeCreate( DSD_NODE_CONST1, 0, 0 ); pNode->G = b1; Cudd_Ref( pNode->G ); pNode->S = b1; Cudd_Ref( pNode->S ); - st_insert( dMan->Table, (char*)b1, (char*)pNode ); + st__insert( dMan->Table, (char*)b1, (char*)pNode ); dMan->pConst1 = pNode; Dsd_CheckCacheAllocate( 5000 ); @@ -99,13 +99,13 @@ Dsd_Manager_t * Dsd_ManagerStart( DdManager * dd, int nSuppMax, int fVerbose ) ***********************************************************************/ void Dsd_ManagerStop( Dsd_Manager_t * dMan ) { - st_generator * gen; + st__generator * gen; Dsd_Node_t * pNode; DdNode * bFunc; // delete the nodes - st_foreach_item( dMan->Table, gen, (const char**)&bFunc, (char**)&pNode ) + st__foreach_item( dMan->Table, gen, (const char**)&bFunc, (char**)&pNode ) Dsd_TreeNodeDelete( dMan->dd, Dsd_Regular(pNode) ); - st_free_table(dMan->Table); + st__free_table(dMan->Table); ABC_FREE( dMan->pInputs ); ABC_FREE( dMan->pRoots ); ABC_FREE( dMan ); |