Exemple #1
0
 /// <summary>
 /// Return number of terminals
 /// [ REFS: 'none', DEREFS: 'none' ]
 /// </summary>
 public static int GetNumTerminals(CUDDNode dd)
 {
     return(PlatformInvoke.DD_GetNumTerminals(manager, dd.Ptr));
 }