Métodos Frequentes
Métodos Frequentes
Métodos Frequentes
Métodos Frequentes
/// <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))); }