예제 #1
0
파일: CUDDDebug.cs 프로젝트: fangld/EDGolog 
 /// <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));
 }