Home
last modified time | relevance | path

Searched refs:usefulconss (Results 1 – 3 of 3) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dpresol_gateextraction.c339 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 Dcons_setppc.c2719 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 Dcons_linear.c16526 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()