Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_varbound.c2226 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 Dcons_xor.c3683 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 Dcons_abspower.c763 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 Dcons_and.c3381 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 Dcons_linear.c12695 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 Dcons_setppc.c6334 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 Dcons_knapsack.c11466 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 Dcons_logicor.c1964 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 Dcons_cumulative.c12302 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 …]