Searched refs:checkRedundantCons (Results 1 – 1 of 1) sorted by relevance
2902 SCIP_RETCODE checkRedundantCons( in checkRedundantCons() function3309 SCIP_CALL( checkRedundantCons(scip, conss[c], &redundant) ); in SCIP_DECL_CONSPRESOL()