Searched refs:SCIP_DEFAULT_RANDOM_RANDSEEDSHIFT (Results 1 – 1 of 1) sorted by relevance
303 #define SCIP_DEFAULT_RANDOM_RANDSEEDSHIFT 0 /**< global shift of all random seeds in the plugin… macro1999 &(*set)->random_randomseedshift, FALSE, SCIP_DEFAULT_RANDOM_RANDSEEDSHIFT, 0, INT_MAX, in SCIPsetCreate()