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

Exemplo n.º 1

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

 /// <summary>
 /// At each terminal, return 1 if dd1 > dd2; 0 otherwise
 /// [ REFS: 'result', DEREFS: dd1, dd2 ]
 /// </summary>
 public static CUDDNode Greater(CUDDNode dd1, CUDDNode dd2)
 {
     return(new CUDDNode(PlatformInvoke.DD_ApplyGreater(manager, dd1.Ptr, dd2.Ptr)));
 }