Searched refs:MAXGEN_RATIO (Results 1 – 4 of 4) sorted by relevance
77 #define MAXGEN_RATIO 15.0191 maxGen = (int) (MAXGEN_RATIO * nvars); in Cudd_bddAndAbstractLimit()
58 #define MAXGEN_RATIO 15.0 macro156 maxGen = (int) (MAXGEN_RATIO * nvars); in cuddAnnealing()
77 #define MAXGEN_RATIO 15.0 macro191 maxGen = (int) (MAXGEN_RATIO * nvars); in cuddAnnealing()
81 #define MAXGEN_RATIO 15.0 macro195 maxGen = (int) (MAXGEN_RATIO * nvars); in cuddAnnealing()