자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
/// <summary>
/// return 1 if node1 is 1 and node2 is 0, others return 0.
/// belong dd1 but not belong dd2
/// [ REFS: 'result', DEREFS: dd1, dd2 ]
/// </summary>
public static CUDDNode Different(CUDDNode dd1, CUDDNode dd2)
{
return(new CUDDNode(PlatformInvoke.DD_Different(manager, dd1.Ptr, dd2.Ptr)));
}