abc/src/bdd/cudd/cuddTable.c
/**Function********************************************************************

  Synopsis [Wrapper for cuddUniqueInterZdd.]

  Description [Wrapper for cuddUniqueInterZdd, which applies the ZDD
  reduction rule. Returns a pointer to the result node under normal
  conditions; NULL if reordering occurred or memory was exhausted.]

  SideEffects [None]

  SeeAlso     [cuddUniqueInterZdd]

******************************************************************************/
Function
Synopsis [Wrapper for cuddUniqueInterZdd.]

Description [Wrapper for cuddUniqueInterZdd, which applies the ZDD
reduction rule. Returns a pointer to the result node under normal
conditions; NULL if reordering occurred or memory was exhausted.]




Function Synopsis [ Wrapper for cuddUniqueInterZdd . ] Description [ Wrapper for cuddUniqueInterZdd which applies the ZDD reduction rule . Returns a pointer to the result node under normal conditions ; NULL if reordering occurred or memory was exhausted . ]
DdNode *
cuddZddGetNode(
  DdManager * zdd,
  int  id,
  DdNode * T,
  DdNode * E)
{
    DdNode      *node;
    if (T == DD_ZERO(zdd))
        return(E);
    node = cuddUniqueInterZdd(zdd, id, T, E);
    return(node);
}
DdNode * cuddZddGetNode ( DdManager * zdd , int id , DdNode * T , DdNode * E ) { DdNode * node ; if ( T == DD_ZERO ( zdd ) ) return ( E ) ; node = cuddUniqueInterZdd ( zdd , id , T , E ) ; return ( node ) ; }
Function
Synopsis [Wrapper for cuddUniqueInterZdd.]
Function Synopsis [ Wrapper for cuddUniqueInterZdd . ]