Searched refs:usefulconss (Results 1 – 3 of 3) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | presol_gateextraction.c | 339 SCIP_CONS** usefulconss; in createPresoldata() local 358 SCIP_CALL( SCIPallocBufferArray(scip, &usefulconss, size) ); in createPresoldata() 372 usefulconss[nusefulconss] = setppcs[c]; in createPresoldata() 391 SCIP_VAR** setppcvars = SCIPgetVarsSetppc(scip, usefulconss[c]); in createPresoldata() 392 assert(SCIPconsIsActive(usefulconss[c])); in createPresoldata() 393 assert(SCIPgetNVarsSetppc(scip, usefulconss[c]) == 2); in createPresoldata() 421 presoldata->setppchashdatas[h].cons = usefulconss[c]; in createPresoldata() 424 SCIP_CALL( SCIPcaptureCons(scip, usefulconss[c]) ); in createPresoldata() 450 usefulconss[nusefulconss] = logicors[c]; in createPresoldata() 466 …SCIP_CALL( SCIPduplicateBlockMemoryArray(scip, &presoldata->usefullogicor, usefulconss, presoldata… in createPresoldata() [all …]
|
H A D | cons_setppc.c | 2719 assert(usefulconss != NULL); in addExtraCliques() 2833 assert(usefulconss != NULL); in collectCliqueConss() 2892 usefulconss[*nusefulconss] = cons; in collectCliqueConss() 2936 assert(usefulconss != NULL); in collectCliqueData() 2940 cons = usefulconss[c]; in collectCliqueData() 3526 assert(usefulconss[considx] == cons); in checkForOverlapping() 3560 cons1 = usefulconss[c]; in checkForOverlapping() 3569 assert(usefulconss[c] != cons); in checkForOverlapping() 5075 cons0 = usefulconss[c]; in preprocessCliques() 5534 SCIP_CONS** usefulconss; in removeDoubleAndSingletonsAndPerformDualpresolve() local [all …]
|
H A D | cons_linear.c | 16526 SCIP_CONS** usefulconss; in SCIP_DECL_CONSPRESOL() local 16537 SCIP_CALL( SCIPallocBufferArray(scip, &usefulconss, nconss) ); in SCIP_DECL_CONSPRESOL() 16551 usefulconss[nusefulconss] = conss[c]; in SCIP_DECL_CONSPRESOL() 16560 if( usefulconss[c] == NULL ) in SCIP_DECL_CONSPRESOL() 16565 assert(SCIPconsIsActive(usefulconss[c]) && !SCIPconsIsModifiable(usefulconss[c])); in SCIP_DECL_CONSPRESOL() 16566 …SCIP_CALL( preprocessConstraintPairs(scip, usefulconss, firstchange, c, conshdlrdata->maxaggrnorms… in SCIP_DECL_CONSPRESOL() 16581 SCIPfreeBufferArray(scip, &usefulconss); in SCIP_DECL_CONSPRESOL()
|