Häufig verwendete Methoden
Häufig verwendete Methoden
Häufig verwendete Methoden
Häufig verwendete Methoden
/// <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.
/// </summary>
public static int CheckKeys()
{
return(PlatformInvoke.Cudd_CheckKeys(manager));
}