/// <summary> /// Return the int value corresponding the binary representation of the current minterm /// [ REFS: 'none', DEREFS: 'none' ] /// </summary> public static int MinTermToInt(CUDDNode dd, CUDDVars vars) { return(PlatformInvoke.Cudd_MinTermToInt(manager, dd.Ptr, vars.GetArrayPointer(), vars.GetNumVars())); }