Exemple #1
0
 /// <summary>
 /// return the variable index of the variable currently at position pos
 /// </summary>
 /// <param name="i">The position of the varaible index to get</param>
 /// <returns></returns>
 public static int ReadInvPerm(int i)
 {
     return(PlatformInvoke.Cudd_ReadPerm(manager, i));
 }