Häufig verwendete Methoden
Häufig verwendete Methoden
Häufig verwendete Methoden
Häufig verwendete Methoden
/// <summary> /// At each terminal, return min(dd1, dd2) /// [ REFS: 'result', DEREFS: dd1, dd2 ] /// </summary> public static CUDDNode Minimum(CUDDNode dd1, CUDDNode dd2) { return(new CUDDNode(PlatformInvoke.DD_Minimum(manager, dd1.Ptr, dd2.Ptr))); }