abc/src/map/mapper/mapperCut.c
/**Function*************************************************************

  Synopsis    [Prepares the table to be used with other cuts.]

  Description [Restarts the table by cleaning the info about cuts stored
  when the previous node was considered.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Prepares the table to be used with other cuts.]

Description [Restarts the table by cleaning the info about cuts stored
when the previous node was considered.]




Function Synopsis [ Prepares the table to be used with other cuts . ] Description [ Restarts the table by cleaning the info about cuts stored when the previous node was considered . ]
void Map_CutTableRestart( Map_CutTable_t * p )
{
    int i;
    for ( i = 0; i < p->nCuts; i++ )
    {
        assert( p->pBins[ p->pCuts[i] ] );
        p->pBins[ p->pCuts[i] ] = NULL;
    }
    p->nCuts = 0;
}
void Map_CutTableRestart ( Map_CutTable_t * p ) { int i ; for ( i = 0 ; i < p -> nCuts ; i ++ ) { assert ( p -> pBins [ p -> pCuts [ i ] ] ) ; p -> pBins [ p -> pCuts [ i ] ] = NULL ; } p -> nCuts = 0 ; }
Function
Synopsis    [Prepares the table to be used with other cuts.]
Function Synopsis [ Prepares the table to be used with other cuts . ]