Exemple #1
0
 /// <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));
 }