abc/src/aig/aig/aigUtil.c
/**Function*************************************************************

  Synopsis    [Recursively cleans the data pointers in the cone of the node.]

  Description [Applicable to small AIGs only because no caching is performed.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Recursively cleans the data pointers in the cone of the node.]

Description [Applicable to small AIGs only because no caching is performed.]




Function Synopsis [ Recursively cleans the data pointers in the cone of the node . ] Description [ Applicable to small AIGs only because no caching is performed . ]
void Aig_ObjCleanData_rec( Aig_Obj_t * pObj )
{
    assert( !Aig_IsComplement(pObj) );
    assert( !Aig_ObjIsCo(pObj) );
    if ( Aig_ObjIsAnd(pObj) )
    {
        Aig_ObjCleanData_rec( Aig_ObjFanin0(pObj) );
        Aig_ObjCleanData_rec( Aig_ObjFanin1(pObj) );
    }
    pObj->pData = NULL;
}
void Aig_ObjCleanData_rec ( Aig_Obj_t * pObj ) { assert ( ! Aig_IsComplement ( pObj ) ) ; assert ( ! Aig_ObjIsCo ( pObj ) ) ; if ( Aig_ObjIsAnd ( pObj ) ) { Aig_ObjCleanData_rec ( Aig_ObjFanin0 ( pObj ) ) ; Aig_ObjCleanData_rec ( Aig_ObjFanin1 ( pObj ) ) ; } pObj -> pData = NULL ; }
Function
Synopsis    [Recursively cleans the data pointers in the cone of the node.]
Function Synopsis [ Recursively cleans the data pointers in the cone of the node . ]