abc/src/opt/fret/fretMain.c
/**Function*************************************************************

  Synopsis    [Resets flow problem]

  Description [If fClearAll is true, all marks will be cleared; this is
               typically appropriate after the circuit structure has
               been modified.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Resets flow problem]

Description [If fClearAll is true, all marks will be cleared; this is
typically appropriate after the circuit structure has
been modified.]




Function Synopsis [ Resets flow problem ] Description [ If fClearAll is true all marks will be cleared ; this is typically appropriate after the circuit structure has been modified . ]
void Abc_FlowRetime_ClearFlows( int fClearAll ) {
  int i;
  if (fClearAll)
    memset(pManMR->pDataArray, 0, sizeof(Flow_Data_t)*pManMR->nNodes);
  else {
    for(i=0; i<pManMR->nNodes; i++) {
      pManMR->pDataArray[i].mark &= ~(VISITED | FLOW );
      pManMR->pDataArray[i].e_dist = 0;
      pManMR->pDataArray[i].r_dist = 0;
      pManMR->pDataArray[i].pred = NULL;
    }
  }
}
void Abc_FlowRetime_ClearFlows ( int fClearAll ) { int i ; if ( fClearAll ) memset ( pManMR -> pDataArray , 0 , sizeof ( Flow_Data_t ) * pManMR -> nNodes ) ; else { for ( i = 0 ; i < pManMR -> nNodes ; i ++ ) { pManMR -> pDataArray [ i ] . mark &= ~ ( VISITED | FLOW ) ; pManMR -> pDataArray [ i ] . e_dist = 0 ; pManMR -> pDataArray [ i ] . r_dist = 0 ; pManMR -> pDataArray [ i ] . pred = NULL ; } } }
Function
Synopsis    [Resets flow problem]
Function Synopsis [ Resets flow problem ]
// clear only data related to flow problem