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

  Synopsis [Frees the memory used to store the minterm counts recorded
  in the visited table.]

  Description [Frees the memory used to store the minterm counts
  recorded in the visited table. Returns st__CONTINUE.]

  SideEffects [None]

******************************************************************************/
Function
Synopsis [Frees the memory used to store the minterm counts recorded
in the visited table.]

Description [Frees the memory used to store the minterm counts
recorded in the visited table.


Function Synopsis [ Frees the memory used to store the minterm counts recorded in the visited table . ] Description [ Frees the memory used to store the minterm counts recorded in the visited table .
static enum st__retval
cuddApaStCountfree(
  char * key,
  char * value,
  char * arg)
{
    DdApaNumber d;
    d = (DdApaNumber) value;
    ABC_FREE(d);
    return( st__CONTINUE);
}
static enum st__retval cuddApaStCountfree ( char * key , char * value , char * arg ) { DdApaNumber d ; d = ( DdApaNumber ) value ; ABC_FREE ( d ) ; return ( st__CONTINUE ) ; }
Function
Synopsis [Frees the memory used to store the minterm counts recorded
in the visited table.]
Function Synopsis [ Frees the memory used to store the minterm counts recorded in the visited table . ]