Exemple #1
0
 /// <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()));
 }