abc/src/aig/gia/giaGiarf.c
/**Function*************************************************************

  Synopsis    [Resimulate and refine one equivalence class.]

  Description [Assumes that the counter-example is assigned at the PIs.
  The counter-example should have the first bit set to 0 at each PI.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Resimulate and refine one equivalence class.]

Description [Assumes that the counter-example is assigned at the PIs.
The counter-example should have the first bit set to 0 at each PI.]




Function Synopsis [ Resimulate and refine one equivalence class . ] Description [ Assumes that the counter - example is assigned at the PIs . The counter - example should have the first bit set to 0 at each PI . ]
void Gia_ResimulateAndRefine( Hcd_Man_t * p, int i )
{
    int RetValue, iObj;
    Gia_ManIncrementTravId( p->pGia );
    Gia_ClassForEachObj( p->pGia, i, iObj )
        Gia_Resimulate_rec( p, iObj );
    RetValue = Hcd_ManClassRefineOne( p, i );
    if ( RetValue == 0 )
        printf( "!!! no refinement !!!\n" );
}
void Gia_ResimulateAndRefine ( Hcd_Man_t * p , int i ) { int RetValue , iObj ; Gia_ManIncrementTravId ( p -> pGia ) ; Gia_ClassForEachObj ( p -> pGia , i , iObj ) Gia_Resimulate_rec ( p , iObj ) ; RetValue = Hcd_ManClassRefineOne ( p , i ) ; if ( RetValue == 0 ) printf ( " \n " ) ; }
Function
Synopsis    [Resimulate and refine one equivalence class.]
Function Synopsis [ Resimulate and refine one equivalence class . ]
//    assert( RetValue );