Frequently Used Methods
Frequently Used Methods
Frequently Used Methods
Frequently Used Methods
/// <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)));
}