Home
last modified time | relevance | path

Searched defs:act_ranking_top_10 (Results 1 – 6 of 6) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dcl_predictors.cpp89 const uint32_t act_ranking_top_10, in set_up_input()
399 const uint32_t act_ranking_top_10) in predict()
431 const uint32_t act_ranking_top_10, in predict()
H A Dreducedb.cpp269 const uint32_t act_ranking_top_10 = std::ceil((double)i/((double)all_learnt.size()/10.0))+1; in dump_sql_cl_data() local
409 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
548 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
604 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
H A Dsqlitestats.cpp684 , const uint32_t act_ranking_top_10 in reduceDB()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dcl_predictors.cpp89 const uint32_t act_ranking_top_10, in set_up_input()
399 const uint32_t act_ranking_top_10) in predict()
431 const uint32_t act_ranking_top_10, in predict()
H A Dreducedb.cpp269 const uint32_t act_ranking_top_10 = std::ceil((double)i/((double)all_learnt.size()/10.0))+1; in dump_sql_cl_data() local
409 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
548 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
604 const uint32_t act_ranking_top_10 = \ in handle_lev2_predictor() local
H A Dsqlitestats.cpp684 , const uint32_t act_ranking_top_10 in reduceDB()