Searched refs:shuffleSelect (Results 1 – 5 of 5) sorted by relevance
153 static long shuffleSelect; variable2739 i = (int) (shuffleSelect / STAB_DIV); in Cudd_Random()2744 shuffleSelect = shuffleTable[i] - cuddRand2; in Cudd_Random()2746 shuffleSelect += (shuffleSelect < 1) * (MODULUS1 - 1); in Cudd_Random()2750 return(shuffleSelect - 1); in Cudd_Random()2789 shuffleSelect = shuffleTable[1 % STAB_SIZE]; in Cudd_Srandom()
152 static long shuffleSelect; variable2723 i = (int) (shuffleSelect / STAB_DIV); in Cudd_Random()2728 shuffleSelect = shuffleTable[i] - cuddRand2; in Cudd_Random()2730 shuffleSelect += (shuffleSelect < 1) * (MODULUS1 - 1); in Cudd_Random()2734 return(shuffleSelect - 1); in Cudd_Random()2773 shuffleSelect = shuffleTable[1 % STAB_SIZE]; in Cudd_Srandom()
2790 i = (int) (dd->shuffleSelect / STAB_DIV); in Cudd_Random()2795 dd->shuffleSelect = dd->shuffleTable[i] - dd->cuddRand2; in Cudd_Random()2797 dd->shuffleSelect += (dd->shuffleSelect < 1) * (MODULUS1 - 1); in Cudd_Random()2801 return(dd->shuffleSelect - 1); in Cudd_Random()2839 dd->shuffleSelect = dd->shuffleTable[1 % STAB_SIZE]; in Cudd_Srandom()
526 int32_t shuffleSelect; /**< state of the random number generator */ member