/// <summary>
/// Used when CUDD reports that during garbage collection the number of nodes actually deleted from the unique table is
/// different from the count of dead nodes kept by the manager.
/// Returns 0 if no inconsistencies are found; DD_OUT_OF_MEM if there is not enough memory; 1 otherwise.
/// </summary>
public static int DebugCheck()
{
return(PlatformInvoke.Cudd_DebugCheck(manager));
}