자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
/// <summary> /// At each terminal, return dd1 if dd1 == dd2; 0 if dd1 != dd2 /// [ REFS: 'result', DEREFS: dd1, dd2 ] /// </summary> public static CUDDNode Agreement(CUDDNode dd1, CUDDNode dd2) { return(new CUDDNode(PlatformInvoke.DD_Agreement(manager, dd1.Ptr, dd2.Ptr))); }