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

  Synopsis    [Prints the number of minterms of a BDD or ADD using
  arbitrary precision arithmetic.]

  Description [Prints the number of minterms of a BDD or ADD using
  arbitrary precision arithmetic. Returns 1 if successful; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_ApaPrintMintermExp]

******************************************************************************/
Function
Synopsis    [Prints the number of minterms of a BDD or ADD using
arbitrary precision arithmetic.]

Description [Prints the number of minterms of a BDD or ADD using
arbitrary precision arithmetic. Returns 1 if successful; 0 otherwise.]




Function Synopsis [ Prints the number of minterms of a BDD or ADD using arbitrary precision arithmetic . ] Description [ Prints the number of minterms of a BDD or ADD using arbitrary precision arithmetic . Returns 1 if successful ; 0 otherwise . ]
int
Cudd_ApaPrintMinterm(
  FILE * fp,
  DdManager * dd,
  DdNode * node,
  int  nvars)
{
    int digits;
    int result;
    DdApaNumber count;
    count = Cudd_ApaCountMinterm(dd,node,nvars,&digits);
    if (count == NULL)
        return(0);
    result = Cudd_ApaPrintDecimal(fp,digits,count);
    ABC_FREE(count);
    if (fprintf(fp,"\n") == EOF) {
        return(0);
    }
    return(result);
}
int Cudd_ApaPrintMinterm ( FILE * fp , DdManager * dd , DdNode * node , int nvars ) { int digits ; int result ; DdApaNumber count ; count = Cudd_ApaCountMinterm ( dd , node , nvars , & digits ) ; if ( count == NULL ) return ( 0 ) ; result = Cudd_ApaPrintDecimal ( fp , digits , count ) ; ABC_FREE ( count ) ; if ( fprintf ( fp , " \n " ) == EOF ) { return ( 0 ) ; } return ( result ) ; }
Function
Synopsis    [Prints the number of minterms of a BDD or ADD using
arbitrary precision arithmetic.]
Function Synopsis [ Prints the number of minterms of a BDD or ADD using arbitrary precision arithmetic . ]