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

  Synopsis    [Prints a sum of products from a ZDD representing a cover.]

  Description [Prints a sum of products from a ZDD representing a cover.
  Returns 1 if successful; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_zddPrintMinterm]

******************************************************************************/
Function
Synopsis    [Prints a sum of products from a ZDD representing a cover.]

Description [Prints a sum of products from a ZDD representing a cover.
Returns 1 if successful; 0 otherwise.]




Function Synopsis [ Prints a sum of products from a ZDD representing a cover . ] Description [ Prints a sum of products from a ZDD representing a cover . Returns 1 if successful ; 0 otherwise . ]
int
Cudd_zddPrintCover(
  DdManager * zdd,
  DdNode * node)
{
    int         i, size;
    int         *list;
    size = (int)zdd->sizeZ;
    if (size % 2 != 0) return(0); 
    list = ABC_ALLOC(int, size);
    if (list == NULL) {
        zdd->errorCode = CUDD_MEMORY_OUT;
        return(0);
    }
    for (i = 0; i < size; i++) list[i] = 3; 
    zddPrintCoverAux(zdd, node, 0, list);
    ABC_FREE(list);
    return(1);
}
int Cudd_zddPrintCover ( DdManager * zdd , DdNode * node ) { int i , size ; int * list ; size = ( int ) zdd -> sizeZ ; if ( size % 2 != 0 ) return ( 0 ) ; list = ABC_ALLOC ( int , size ) ; if ( list == NULL ) { zdd -> errorCode = CUDD_MEMORY_OUT ; return ( 0 ) ; } for ( i = 0 ; i < size ; i ++ ) list [ i ] = 3 ; zddPrintCoverAux ( zdd , node , 0 , list ) ; ABC_FREE ( list ) ; return ( 1 ) ; }
Function
Synopsis    [Prints a sum of products from a ZDD representing a cover.]
Function Synopsis [ Prints a sum of products from a ZDD representing a cover . ]
/* number of variables should be even */ /* bogus value should disappear */