/// <summary> /// This function should be called immediately before shutting down the manager. /// Cudd_CheckZeroRef checks that the only nodes left with non-zero reference counts are the predefined constants, /// the BDD projection functions, and nodes whose reference counts are saturated. /// </summary public static int CheckZeroRef() { return(PlatformInvoke.Cudd_CheckZeroRef(manager)); }