C# (CSharp) PAT.Common.Classes.CUDDLib PlatformInvoke.DD_MaxAbstractの例

コード例 #1

 /// <summary>
 /// Return (f and g) abstract vars
 /// [ REFS: 'result', DEREFS: f ]
 /// </summary>
 public static CUDDNode MaxAbstract(CUDDNode f, CUDDVars vars)
 {
     return(new CUDDNode(PlatformInvoke.DD_MaxAbstract(manager, f.Ptr, vars.GetArrayPointer(), vars.GetNumVars())));
 }