bdd_gbc

void bdd_gbc ( void   )  Performs a manual garbage collection. This function can be used to perform a manual, explicit (non-automatic) garbage collection of all unreferenced bdd nodes. See also: bdd_gbc_hook

---