Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_varbound.c168 SCIP_CONSDATA* consdata1; in SCIP_DECL_SORTPTRCOMP() local
177 assert(consdata1 != NULL); in SCIP_DECL_SORTPTRCOMP()
2275 if ( consdata0->var == consdata1->vbdvar && consdata0->vbdvar == consdata1->var && in preprocessConstraintPairs()
2381 bnd = (consdata1->lhs - consdata1->vbdcoef * rhs)/scalar; in preprocessConstraintPairs()
2387 bnd = (consdata1->lhs - consdata1->vbdcoef * lhs)/scalar; in preprocessConstraintPairs()
2424 bnd = (consdata1->rhs - consdata1->vbdcoef * lhs)/scalar; in preprocessConstraintPairs()
2430 bnd = (consdata1->rhs - consdata1->vbdcoef * rhs)/scalar; in preprocessConstraintPairs()
2462 if( consdata0->var != consdata1->var || consdata0->vbdvar != consdata1->vbdvar ) in preprocessConstraintPairs()
2479 && (SCIPisInfinity(scip, -consdata1->lhs) || SCIPisInfinity(scip, consdata1->rhs)) in preprocessConstraintPairs()
2486 coef = lhs - MAX(consdata1->lhs - consdata1->vbdcoef, consdata0->lhs - coef); in preprocessConstraintPairs()
[all …]
H A Dcons_setppc.c192 SCIP_CONSDATA* consdata1; in setppcCompare() local
204 assert(consdata1 != NULL); in setppcCompare()
218 …consdata1->setppctype > consdata2->setppctype || (consdata1->setppctype == SCIP_SETPPCTYPE_PARTITI… in setppcCompare()
248 SCIP_CONSDATA* consdata1; in setppcCompare2() local
265 assert(consdata1 != NULL); in setppcCompare2()
2624 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
3504 SCIP_CONSDATA* consdata1; in checkForOverlapping() local
3958 assert(consdata1->merged); in checkForOverlapping()
3960 vars1 = consdata1->vars; in checkForOverlapping()
3965 consdata1->sorted = FALSE; in checkForOverlapping()
[all …]
H A Dcons_xor.c796 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
814 consdataSort(consdata1); in SCIP_DECL_HASHKEYEQ()
816 assert(consdata1->sorted); in SCIP_DECL_HASHKEYEQ()
3909 SCIP_CONSDATA* consdata1; in preprocessConstraintPairs() local
3930 assert(consdata1 != NULL); in preprocessConstraintPairs()
3956 if( consdata1->rhs ) in preprocessConstraintPairs()
3964 if( consdata1->intvar != NULL && !consdata1->deleteintvar ) in preprocessConstraintPairs()
3989 if( consdata1->intvar != NULL && !consdata1->deleteintvar ) in preprocessConstraintPairs()
4012 if( !(consdata1->rhs) ) in preprocessConstraintPairs()
4044 if( consdata1->intvar != NULL && !consdata1->deleteintvar ) in preprocessConstraintPairs()
[all …]
H A Dcons_abspower.c476 lhs = consdata1->lhs; in presolveFindDuplicatesUpgradeCons()
479 rhs = consdata1->rhs; in presolveFindDuplicatesUpgradeCons()
483 vars[0] = consdata1->z; in presolveFindDuplicatesUpgradeCons()
729 consdata1->lhs = MAX(consdata0->lhs, consdata1->lhs); in presolveFindDuplicates()
730 consdata1->rhs = MIN(consdata0->rhs, consdata1->rhs); in presolveFindDuplicates()
741 consdata1->lhs = MAX(consdata0->lhs, consdata1->lhs); in presolveFindDuplicates()
742 consdata1->rhs = MIN(consdata0->rhs, consdata1->rhs); in presolveFindDuplicates()
753 if( SCIPisEQ(scip, consdata1->lhs, consdata1->rhs) ) in presolveFindDuplicates()
863 SCIPisEQ(scip, consdata1->lhs, consdata1->rhs) && in presolveFindDuplicates()
882 consdata1->xoffset, consdata1->zcoef, consdata1->lhs); in presolveFindDuplicates()
[all …]
H A Dcons_logicor.c1869 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
1888 consdataSort(consdata1); in SCIP_DECL_HASHKEYEQ()
1890 assert(consdata1->sorted); in SCIP_DECL_HASHKEYEQ()
1982 SCIP_CONSDATA* consdata1; in detectRedundantConstraints() local
1991 assert(consdata1 != NULL); in detectRedundantConstraints()
2262 assert(consdata1 != NULL); in removeRedundantConss()
2274 assert(consdata1->sorted); in removeRedundantConss()
2324 SCIP_CONSDATA* consdata1; in SCIP_DECL_SORTPTRCOMP() local
2333 assert(consdata1 != NULL); in SCIP_DECL_SORTPTRCOMP()
2531 assert(consdata1 != NULL); in removeRedundantNonZeros()
[all …]
H A Dcons_and.c3282 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
3301 consdataSort(consdata1); in SCIP_DECL_HASHKEYEQ()
3303 assert(consdata1->sorted); in SCIP_DECL_HASHKEYEQ()
3399 SCIP_CONSDATA* consdata1; in detectRedundantConstraints() local
3407 assert(consdata1 != NULL); in detectRedundantConstraints()
3442 consdata1->checkwhenupgr = consdata1->checkwhenupgr || consdata0->checkwhenupgr; in detectRedundantConstraints()
3443 …consdata1->notremovablewhenupgr = consdata1->notremovablewhenupgr || consdata0->notremovablewhenup… in detectRedundantConstraints()
3585 SCIP_CONSDATA* consdata1; in preprocessConstraintPairs() local
3601 assert(consdata1 != NULL); in preprocessConstraintPairs()
3615 consdataSort(consdata1); in preprocessConstraintPairs()
[all …]
H A Dcons_linear.c12696 SCIP_CONSDATA* consdata1; in aggregateConstraints() local
12740 assert(consdata1 != NULL); in aggregateConstraints()
12741 assert(consdata1->nvars >= 1); in aggregateConstraints()
12742 assert(SCIPisEQ(scip, consdata1->lhs, consdata1->rhs)); in aggregateConstraints()
13010 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
13020 assert(consdata1->indexsorted); in SCIP_DECL_HASHKEYEQ()
13047 cons1scale = COPYSIGN(1.0/consdata1->maxabsval, consdata1->vals[0]); in SCIP_DECL_HASHKEYEQ()
13450 SCIP_CONSDATA* consdata1; in preprocessConstraintPairs() local
13484 assert(consdata1 != NULL); in preprocessConstraintPairs()
13524 cons1isequality = SCIPisEQ(scip, consdata1->lhs, consdata1->rhs); in preprocessConstraintPairs()
[all …]
H A Dcons_knapsack.c11362 SCIP_CONSDATA* consdata1; in SCIP_DECL_HASHKEYEQ() local
11368 assert(consdata1->sorted); in SCIP_DECL_HASHKEYEQ()
11497 SCIP_CONSDATA* consdata1; in detectRedundantConstraints() local
11507 assert(consdata1 != NULL); in detectRedundantConstraints()
11600 SCIP_CONSDATA* consdata1; in preprocessConstraintPairs() local
11614 assert(consdata1 != NULL); in preprocessConstraintPairs()
11620 assert(consdata1->nvars >= 1); in preprocessConstraintPairs()
11621 assert(consdata1->merged); in preprocessConstraintPairs()
11624 sortItems(consdata1); in preprocessConstraintPairs()
11636 v = consdata1->nvars - 1; in preprocessConstraintPairs()
[all …]
H A Dcons_cumulative.c12316 SCIP_CONSDATA* consdata1; in removeRedundantConss() local
12322 consdata1 = SCIPconsGetData(cons1); in removeRedundantConss()
12323 assert(consdata1 != NULL); in removeRedundantConss()
12328 consdataCalcSignature(consdata1); in removeRedundantConss()
12329 assert(consdata1->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()
12359 SCIPsort(perm1, consdataCompVar, (void*)consdata1, consdata1->nvars); in removeRedundantConss()
12374 var1 = consdata1->vars[idx1]; in removeRedundantConss()
[all …]