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

Exemplo n.º 1

Arquivo: CUDDPrint.cs Projeto: vu111293/pat-design

 /// <summary>
 /// [ REFS: 'none', DEREFS: 'none' ]
 /// </summary>
 public static void PrintMinterm(CUDDNode dd)
 {
     Console.WriteLine("--------------------------Start");
     PlatformInvoke.Cudd_PrintMinterm(manager, dd.Ptr);
     Console.WriteLine("--------------------------End");
 }