/*
NAME {* bdd\_done*}
SECTION {* kernel *}
SHORT {* resets the bdd package *}
PROTO {* void bdd_done(void) *}
DESCR {* This function frees all memory used by the bdd package and resets
the package to it's initial state.*}
ALSO {* bdd\_init *}
*/
void bdd_done(void)
{
/*sanitycheck(); FIXME */
bdd_fdd_done();
bdd_reorder_done();
bdd_pairs_done();
free(bddnodes);
free(bddrefstack);
free(bddvarset);
free(bddvar2level);
free(bddlevel2var);
bddnodes = NULL;
bddrefstack = NULL;
bddvarset = NULL;
bdd_operator_done();
bddrunning = 0;
bddnodesize = 0;
bddmaxnodesize = 0;
bddvarnum = 0;
bddproduced = 0;
err_handler = NULL;
gbc_handler = NULL;
resize_handler = NULL;
}
/*
NAME {* fdd\_clearall *}
SECTION {* fdd *}
SHORT {* clear all allocated FDD blocks *}
PROTO {* void fdd_clearall(void) *}
DESCR {* Removes all defined finite domain blocks defined by
{\tt fdd\_extdomain()} and {\tt fdd\_overlapdomain()} *}
*/
void fdd_clearall(void)
{
bdd_fdd_done();
bdd_fdd_init();
}