Searched refs:EXC_PROB (Results 1 – 4 of 4) sorted by relevance
75 #define EXC_PROB 0.4 221 if (rand1 < EXC_PROB) { in Cudd_bddAndAbstractLimit()229 } else if (rand1 < EXC_PROB + JUMP_UP_PROB) { in Cudd_bddAndAbstractLimit()
56 #define EXC_PROB 0.4 macro186 if (rand1 < EXC_PROB) { in cuddAnnealing()194 } else if (rand1 < EXC_PROB + JUMP_UP_PROB) { in cuddAnnealing()
75 #define EXC_PROB 0.4 macro221 if (rand1 < EXC_PROB) { in cuddAnnealing()229 } else if (rand1 < EXC_PROB + JUMP_UP_PROB) { in cuddAnnealing()
79 #define EXC_PROB 0.4 macro225 if (rand1 < EXC_PROB) { in cuddAnnealing()233 } else if (rand1 < EXC_PROB + JUMP_UP_PROB) { in cuddAnnealing()