예제 #1
0
 /// <summary>
 /// Print all information to file
 /// </summary>
 public static void PrintInfo(string fileName)
 {
     PlatformInvoke.Cudd_bddPrintInfo(manager, fileName);
 }