static void init_buddy(int states)
{
//TODO: calculate the parameters to buddy from the number of states
bdd_init(70000000, 100000);
bdd_setmaxincrease(500000);
bdd_setcacheratio(5);
bdd_error_hook(bdd_errhandler);
// bdd_resize_hook(bdd_resizehandler);
// bdd_gbc_hook(bdd_gbchandler);
// bdd_reorder_hook(bdd_reorderhandler);
}
/* ML type: int -> int */
EXTERNML value mlbdd_bdd_setmaxincrease(value n) /* ML */
{
return Val_int(bdd_setmaxincrease(Int_val(n)));
}
