/// <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));
}
