Home
last modified time | relevance | path

Searched refs:consdata2 (Results 1 – 9 of 9) sorted by relevance

/dports/math/SCIP/scip-7.0.3/examples/Binpacking/src/
H A Dcons_samediff.c399 SCIP_CONSDATA* consdata2; in SCIP_DECL_CONSPROP() local
404 consdata2 = SCIPconsGetData(conss[i]); in SCIP_DECL_CONSPROP()
405 assert( !(consdata->itemid1 == consdata2->itemid1 in SCIP_DECL_CONSPROP()
406 && consdata->itemid2 == consdata2->itemid2 in SCIP_DECL_CONSPROP()
407 && consdata->type == consdata2->type) ); in SCIP_DECL_CONSPROP()
408 assert( !(consdata->itemid1 == consdata2->itemid2 in SCIP_DECL_CONSPROP()
409 && consdata->itemid2 == consdata2->itemid1 in SCIP_DECL_CONSPROP()
410 && consdata->type == consdata2->type) ); in SCIP_DECL_CONSPROP()
/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_setppc.c193 SCIP_CONSDATA* consdata2; in setppcCompare() local
206 consdata2 = SCIPconsGetData(cons2); in setppcCompare()
207 assert(consdata2 != NULL); in setppcCompare()
212 …(consdata2->setppctype == SCIP_SETPPCTYPE_PACKING && consdata1->nvars > consdata2->nvars) ) /*lint… in setppcCompare()
249 SCIP_CONSDATA* consdata2; in setppcCompare2() local
266 consdata2 = SCIPconsGetData(cons2); in setppcCompare2()
267 assert(consdata2 != NULL); in setppcCompare2()
277 …ETPPCTYPE)consdata2->setppctype == SCIP_SETPPCTYPE_COVERING || (consdata1->setppctype == consdata2… in setppcCompare2()
281 …assert(consdata1->setppctype > consdata2->setppctype || ((consdata1->setppctype == consdata2->setp… in setppcCompare2()
2625 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
[all …]
H A Dcons_abspower.c371 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
376 assert(consdata2 != NULL); in SCIP_DECL_HASHKEYEQ()
408 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
413 assert(consdata2 != NULL); in SCIP_DECL_HASHKEYEQ()
450 SCIP_CONSDATA* consdata2; in presolveFindDuplicatesUpgradeCons() local
468 assert(consdata2 != NULL); in presolveFindDuplicatesUpgradeCons()
470 assert(SCIPisEQ(scip, consdata2->lhs, consdata2->rhs)); in presolveFindDuplicatesUpgradeCons()
478 lhs -= consdata2->lhs; in presolveFindDuplicatesUpgradeCons()
481 rhs -= consdata2->lhs; in presolveFindDuplicatesUpgradeCons()
484 vars[1] = consdata2->z; in presolveFindDuplicatesUpgradeCons()
[all …]
H A Dcons_logicor.c1870 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
1881 consdata2 = SCIPconsGetData((SCIP_CONS*)key2); in SCIP_DECL_HASHKEYEQ()
1884 if( consdata1->nvars != consdata2->nvars ) in SCIP_DECL_HASHKEYEQ()
1889 consdataSort(consdata2); in SCIP_DECL_HASHKEYEQ()
1891 assert(consdata2->sorted); in SCIP_DECL_HASHKEYEQ()
1898 if( consdata1->vars[i] != consdata2->vars[i] ) in SCIP_DECL_HASHKEYEQ()
1901 SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == -1); in SCIP_DECL_HASHKEYEQ()
2325 SCIP_CONSDATA* consdata2; in SCIP_DECL_SORTPTRCOMP() local
2331 consdata2 = SCIPconsGetData((SCIP_CONS*) elem2); in SCIP_DECL_SORTPTRCOMP()
2334 assert(consdata2 != NULL); in SCIP_DECL_SORTPTRCOMP()
[all …]
H A Dcons_varbound.c169 SCIP_CONSDATA* consdata2; in SCIP_DECL_SORTPTRCOMP() local
175 consdata2 = SCIPconsGetData((SCIP_CONS*) elem2); in SCIP_DECL_SORTPTRCOMP()
178 assert(consdata2 != NULL); in SCIP_DECL_SORTPTRCOMP()
185 if( SCIPvarGetIndex(consdata1->var) < SCIPvarGetIndex(consdata2->var) in SCIP_DECL_SORTPTRCOMP()
186 || (SCIPvarGetIndex(consdata1->var) == SCIPvarGetIndex(consdata2->var) in SCIP_DECL_SORTPTRCOMP()
187 && SCIPvarGetIndex(consdata1->vbdvar) < SCIPvarGetIndex(consdata2->vbdvar)) in SCIP_DECL_SORTPTRCOMP()
188 || (SCIPvarGetIndex(consdata1->var) == SCIPvarGetIndex(consdata2->var) in SCIP_DECL_SORTPTRCOMP()
190 && !consdata1->changed && consdata2->changed) ) in SCIP_DECL_SORTPTRCOMP()
192 else if( SCIPvarGetIndex(consdata1->var) == SCIPvarGetIndex(consdata2->var) in SCIP_DECL_SORTPTRCOMP()
193 && SCIPvarGetIndex(consdata1->vbdvar) == SCIPvarGetIndex(consdata2->vbdvar) in SCIP_DECL_SORTPTRCOMP()
[all …]
H A Dcons_and.c3283 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
3294 consdata2 = SCIPconsGetData((SCIP_CONS*)key2); in SCIP_DECL_HASHKEYEQ()
3297 if( consdata1->nvars != consdata2->nvars ) in SCIP_DECL_HASHKEYEQ()
3302 consdataSort(consdata2); in SCIP_DECL_HASHKEYEQ()
3304 assert(consdata2->sorted); in SCIP_DECL_HASHKEYEQ()
3311 if( consdata1->vars[i] != consdata2->vars[i] ) in SCIP_DECL_HASHKEYEQ()
3313 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 1 || in SCIP_DECL_HASHKEYEQ()
3314 SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == -1); in SCIP_DECL_HASHKEYEQ()
3318 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 0); in SCIP_DECL_HASHKEYEQ()
H A Dcons_xor.c797 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
807 consdata2 = SCIPconsGetData((SCIP_CONS*)key2); in SCIP_DECL_HASHKEYEQ()
810 if( consdata1->nvars != consdata2->nvars ) in SCIP_DECL_HASHKEYEQ()
815 consdataSort(consdata2); in SCIP_DECL_HASHKEYEQ()
817 assert(consdata2->sorted); in SCIP_DECL_HASHKEYEQ()
822 if( consdata1->vars[i] != consdata2->vars[i] ) in SCIP_DECL_HASHKEYEQ()
824 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 1 || in SCIP_DECL_HASHKEYEQ()
825 SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == -1); in SCIP_DECL_HASHKEYEQ()
828 assert(SCIPvarCompareActiveAndNegated(consdata1->vars[i], consdata2->vars[i]) == 0); in SCIP_DECL_HASHKEYEQ()
H A Dcons_knapsack.c11363 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
11367 consdata2 = SCIPconsGetData((SCIP_CONS*)key2); in SCIP_DECL_HASHKEYEQ()
11369 assert(consdata2->sorted); in SCIP_DECL_HASHKEYEQ()
11376 if( consdata1->nvars != consdata2->nvars ) in SCIP_DECL_HASHKEYEQ()
11382 if( consdata1->vars[i] != consdata2->vars[i] ) in SCIP_DECL_HASHKEYEQ()
11384 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 1 || in SCIP_DECL_HASHKEYEQ()
11385 SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == -1); in SCIP_DECL_HASHKEYEQ()
11388 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 0); in SCIP_DECL_HASHKEYEQ()
11391 if( consdata1->weights[i] != consdata2->weights[i] ) in SCIP_DECL_HASHKEYEQ()
H A Dcons_linear.c13011 SCIP_CONSDATA* consdata2; in SCIP_DECL_HASHKEYEQ() local
13019 consdata2 = SCIPconsGetData((SCIP_CONS*)key2); in SCIP_DECL_HASHKEYEQ()
13021 assert(consdata2->indexsorted); in SCIP_DECL_HASHKEYEQ()
13031 if( consdata1->nvars != consdata2->nvars ) in SCIP_DECL_HASHKEYEQ()
13037 if( consdata1->vars[i] != consdata2->vars[i] ) in SCIP_DECL_HASHKEYEQ()
13039 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 1 || in SCIP_DECL_HASHKEYEQ()
13040 SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == -1); in SCIP_DECL_HASHKEYEQ()
13043 assert(SCIPvarCompare(consdata1->vars[i], consdata2->vars[i]) == 0); in SCIP_DECL_HASHKEYEQ()
13048 cons2scale = COPYSIGN(1.0/consdata2->maxabsval, consdata2->vals[0]); in SCIP_DECL_HASHKEYEQ()
13057 val2 = consdata2->vals[i] * cons2scale; in SCIP_DECL_HASHKEYEQ()