Exemple #1
0
 /// <summary>
 /// Finds the variables on which a DD depends.
 /// Returns a ADD consisting of the product of the variables.
 /// [ REFS: 'result', DEREFS: 'none' ]
 /// </summary>
 public static CUDDNode GetSupport(CUDDNode dd)
 {
     return(new CUDDNode(PlatformInvoke.DD_GetSupport(manager, dd.Ptr)));
 }