Exemplos de PAT.Common.Classes.CUDDLib PlatformInvoke.Cudd_CheckKeys em C# (CSharp)

Exemplo n.º 1

Arquivo: CUDDDebug.cs Projeto: 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));
 }