Beispiel #1
0
 /// <summary>
 /// Returns the memory in use by the manager measured in bytes.
 /// </summary>
 /// <returns></returns>
 public static int ReadMemoryInUse()
 {
     return((int)PlatformInvoke.Cudd_ReadMemoryInUse(manager));
 }