Home
last modified time | relevance | path

Searched refs:shuffleSelect (Results 1 – 5 of 5) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddUtil.c153 static long shuffleSelect; variable
2739 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()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddUtil.c153 static long shuffleSelect; variable
2739 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()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddUtil.c152 static long shuffleSelect; variable
2723 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()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddUtil.c2790 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()
H A DcuddInt.h526 int32_t shuffleSelect; /**< state of the random number generator */ member