Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
/// <summary> /// Return (f and g) abstract vars /// [ REFS: 'result', DEREFS: f ] /// </summary> public static CUDDNode MaxAbstract(CUDDNode f, CUDDVars vars) { return(new CUDDNode(PlatformInvoke.DD_MaxAbstract(manager, f.Ptr, vars.GetArrayPointer(), vars.GetNumVars()))); }