Searched refs:glp_ios_pool_size (Results 1 – 14 of 14) sorted by relevance
268 size = glp_ios_pool_size(tree); in ios_gmi_gen()270 { if (glp_ios_pool_size(tree) - size >= MAXCUTS) break; in ios_gmi_gen()
454 int glp_ios_pool_size(glp_tree *tree)
686 int glp_ios_pool_size(glp_tree *T);
142 glp_ios_pool_size
452 int glp_ios_pool_size(glp_tree *tree) in glp_ios_pool_size() function
944 int glp_ios_pool_size(glp_tree *T);949 The routine \verb|glp_ios_pool_size| returns the current size of the1080 while (glp_ios_pool_size(tree) > 10)1081 glp_ios_del_row(tree, glp_ios_pool_size(tree));
735 int glp_ios_pool_size(glp_tree *T);
1495 int cut_ord = glp_ios_pool_size(tree); in glpkCallback()1535 int cuts = glp_ios_pool_size(tree); in glpkCallback()
916 glp_ios_pool_size determine current size of the cut pool
1644 glp_ios_pool_size determine current size of the cut pool;