자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
/// <summary>
/// Return the complement of node
/// [ REFS: 'result', DEREFS: 'dd' ]
/// </summary>
public static CUDDNode Not(CUDDNode dd)
{
return(new CUDDNode(PlatformInvoke.DD_Not(manager, dd.Ptr)));
}