/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | cons_varbound.c | 2226 SCIP_CONSDATA* consdata0; in preprocessConstraintPairs() local 2234 assert(consdata0 != NULL); in preprocessConstraintPairs() 2240 assert(!SCIPisInfinity(scip, -consdata0->lhs) || !SCIPisInfinity(scip, consdata0->rhs)); in preprocessConstraintPairs() 2242 if( !consdata0->changed ) in preprocessConstraintPairs() 2270 lhs = consdata0->lhs; in preprocessConstraintPairs() 2271 rhs = consdata0->rhs; in preprocessConstraintPairs() 2275 if ( consdata0->var == consdata1->vbdvar && consdata0->vbdvar == consdata1->var && in preprocessConstraintPairs() 2313 SCIPvarGetName(consdata0->var), SCIPvarGetLbGlobal(consdata0->var)); in preprocessConstraintPairs() 2462 if( consdata0->var != consdata1->var || consdata0->vbdvar != consdata1->vbdvar ) in preprocessConstraintPairs() 2734 consdata0->changed = FALSE; in preprocessConstraintPairs() [all …]
|
H A D | cons_xor.c | 3683 SCIP_CONSDATA* consdata0; in detectRedundantConstraints() local 3709 assert(consdata0 != NULL); in detectRedundantConstraints() 3738 if( consdata0->intvar != NULL && !consdata0->deleteintvar ) in detectRedundantConstraints() 3758 consdataSort(consdata0); in detectRedundantConstraints() 3774 assert(consdata0->nvars >= 1 && consdata0->nvars == consdata1->nvars); in detectRedundantConstraints() 3786 if( consdata0->intvar != consdata1->intvar && consdata0->intvar != NULL ) in detectRedundantConstraints() 3863 SCIP_CONSDATA* consdata0; in preprocessConstraintPairs() local 3881 assert(consdata0 != NULL); in preprocessConstraintPairs() 3900 consdataSort(consdata0); in preprocessConstraintPairs() 3901 assert(consdata0->sorted); in preprocessConstraintPairs() [all …]
|
H A D | cons_abspower.c | 763 if( SCIPisEQ(scip, consdata0->lhs, consdata0->rhs) ) in presolveFindDuplicates() 787 …_MAXSTRLEN, "auxvar_abspower%s_%g_%g", SCIPvarGetName(consdata0->x), consdata0->exponent, consdata… in presolveFindDuplicates() 795 …MAXSTRLEN, "auxcons_abspower%s_%g_%g", SCIPvarGetName(consdata0->x), consdata0->exponent, consdata… in presolveFindDuplicates() 796 …ALL( SCIPcreateConsAbspower(scip, &auxcons, name, consdata0->x, auxvar, consdata0->exponent, consd… in presolveFindDuplicates() 862 SCIPisEQ(scip, consdata0->lhs, consdata0->rhs) && in presolveFindDuplicates() 881 consdata0->xoffset, consdata0->zcoef, consdata0->lhs, in presolveFindDuplicates() 893 …SCIPvarGetName(consdata0->x), SCIPvarGetLbLocal(consdata0->x), SCIPvarGetUbLocal(consdata0->x), xv… in presolveFindDuplicates() 894 …SCIPvarGetName(consdata0->z), SCIPvarGetLbLocal(consdata0->z), SCIPvarGetUbLocal(consdata0->z), zv… in presolveFindDuplicates() 989 SCIP_CONSDATA* consdata0; in presolveFindDuplicates() local 1007 if( !SCIPisEQ(scip, consdata0->lhs, consdata0->rhs) ) in presolveFindDuplicates() [all …]
|
H A D | cons_and.c | 3381 SCIP_CONSDATA* consdata0; in detectRedundantConstraints() local 3391 consdataSort(consdata0); in detectRedundantConstraints() 3392 assert(consdata0->sorted); in detectRedundantConstraints() 3408 assert(consdata0->nvars >= 1 && consdata0->nvars == consdata1->nvars); in detectRedundantConstraints() 3553 SCIP_CONSDATA* consdata0; in preprocessConstraintPairs() local 3572 consdataSort(consdata0); in preprocessConstraintPairs() 3574 assert(consdata0->nvars >= 1); in preprocessConstraintPairs() 3575 assert(consdata0->sorted); in preprocessConstraintPairs() 3578 cons0changed = consdata0->changed; in preprocessConstraintPairs() 3694 consdata0->checkwhenupgr = consdata1->checkwhenupgr || consdata0->checkwhenupgr; in preprocessConstraintPairs() [all …]
|
H A D | cons_linear.c | 12695 SCIP_CONSDATA* consdata0; in aggregateConstraints() local 12733 assert(consdata0 != NULL); in aggregateConstraints() 12735 assert(SCIPisLE(scip, consdata0->lhs, consdata0->rhs)); in aggregateConstraints() 13254 lhs = consdata0->lhs; in detectRedundantConstraints() 13273 assert(consdata0->nvars >= 1 && consdata0->nvars == consdatadel->nvars); in detectRedundantConstraints() 13391 SCIP_CONSDATA* consdata0; in preprocessConstraintPairs() local 13421 assert(consdata0 != NULL); in preprocessConstraintPairs() 13423 cons0isequality = SCIPisEQ(scip, consdata0->lhs, consdata0->rhs); in preprocessConstraintPairs() 13440 cons0lhs = consdata0->lhs; in preprocessConstraintPairs() 13441 cons0rhs = consdata0->rhs; in preprocessConstraintPairs() [all …]
|
H A D | cons_setppc.c | 6334 assert(consdata0->nvars >= 1 && consdata0->nvars == consdata1->nvars); in detectRedundantConstraints() 6415 SCIP_CONSDATA* consdata0; in fixAdditionalVars() local 6428 assert(consdata0 != NULL); in fixAdditionalVars() 6431 assert(consdata0->sorted); in fixAdditionalVars() 6489 SCIP_CONSDATA* consdata0; in processContainedCons() local 6502 assert(consdata0 != NULL); in processContainedCons() 6505 assert(consdata0->sorted); in processContainedCons() 6607 SCIP_CONSDATA* consdata0; in removeRedundantConstraints() local 6627 assert(consdata0 != NULL); in removeRedundantConstraints() 6631 consdataSort(consdata0); in removeRedundantConstraints() [all …]
|
H A D | cons_knapsack.c | 11466 SCIP_CONSDATA* consdata0; in detectRedundantConstraints() local 11474 assert(consdata0 != NULL); in detectRedundantConstraints() 11475 if( consdata0->nvars == 0 ) in detectRedundantConstraints() 11508 assert(consdata0->nvars > 0 && consdata0->nvars == consdata1->nvars); in detectRedundantConstraints() 11570 SCIP_CONSDATA* consdata0; in preprocessConstraintPairs() local 11585 assert(consdata0 != NULL); in preprocessConstraintPairs() 11586 assert(consdata0->nvars >= 1); in preprocessConstraintPairs() 11587 assert(consdata0->merged); in preprocessConstraintPairs() 11590 sortItems(consdata0); in preprocessConstraintPairs() 11593 if( consdata0->capacity == 0 ) in preprocessConstraintPairs() [all …]
|
H A D | cons_logicor.c | 1964 SCIP_CONSDATA* consdata0; in detectRedundantConstraints() local 1971 consdata0 = SCIPconsGetData(cons0); in detectRedundantConstraints() 1973 consdataSort(consdata0); in detectRedundantConstraints() 1974 assert(consdata0->sorted); in detectRedundantConstraints() 1992 assert(consdata0->nvars >= 1 && consdata0->nvars == consdata1->nvars); in detectRedundantConstraints() 1994 assert(consdata0->sorted && consdata1->sorted); in detectRedundantConstraints() 1995 assert(consdata0->vars[0] == consdata1->vars[0]); in detectRedundantConstraints() 2006 if( consdata0->changed && SCIPconsGetPos(cons1) < *firstchange ) in detectRedundantConstraints()
|
H A D | cons_cumulative.c | 12302 SCIP_CONSDATA* consdata0; in removeRedundantConss() local 12308 consdata0 = SCIPconsGetData(cons0); in removeRedundantConss() 12309 assert(consdata0 != NULL); in removeRedundantConss() 12311 consdataCalcSignature(consdata0); in removeRedundantConss() 12312 assert(consdata0->validsignature); in removeRedundantConss() 12345 if( consdata0->nvars > consdata1->nvars ) in removeRedundantConss() 12348 if( consdata0->hmin < consdata1->hmin ) in removeRedundantConss() 12351 if( consdata0->hmax > consdata1->hmax ) in removeRedundantConss() 12358 SCIPsort(perm0, consdataCompVar, (void*)consdata0, consdata0->nvars); in removeRedundantConss() 12372 var0 = consdata0->vars[idx0]; in removeRedundantConss() [all …]
|