コード例 #1
0
ファイル: CUDDPrint.cs プロジェクト: vu111293/pat-design 
 /// <summary>
 /// Print all information to file
 /// </summary>
 public static void PrintInfo(string fileName)
 {
     PlatformInvoke.Cudd_bddPrintInfo(manager, fileName);
 }