/dports/math/SCIP/scip-7.0.3/applications/Coloring/src/ |
H A D | cons_storeGraph.c | 508 assert(consdata->representativeofnode[consdata->node2] == consdata->node2); in SCIP_DECL_CONSACTIVE() 509 assert(consdata->representativeofnode[consdata->node1] == consdata->node1); in SCIP_DECL_CONSACTIVE() 518 …if( !tcliqueAddEdge(consdata->graph, consdata->unionofnode[consdata->representativeofnode[consdata… in SCIP_DECL_CONSACTIVE() 519 consdata->unionofnode[consdata->representativeofnode[consdata->node2]][i]) in SCIP_DECL_CONSACTIVE() 544 … consdata->representativeofnode[consdata->unionofnode[consdata->node2][i]] = consdata->node1; in SCIP_DECL_CONSACTIVE() 595 …(consdata->nnodesinunion[consdata->node1]) + (consdata->nnodesinunion[consdata->node2])) ); /*lint… in SCIP_DECL_CONSACTIVE() 598 consdata->unionofnode[consdata->node1][consdata->nnodesinunion[consdata->node1]+i] in SCIP_DECL_CONSACTIVE() 603 consdata->nnodesinunion[consdata->node1] = in SCIP_DECL_CONSACTIVE() 604 (consdata->nnodesinunion[consdata->node1]) + (consdata->nnodesinunion[consdata->node2]); in SCIP_DECL_CONSACTIVE() 605 consdata->nnodesinunion[consdata->node2] = 0; in SCIP_DECL_CONSACTIVE() [all …]
|
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | cons_varbound.c | 3166 consdata->lhs = -consdata->rhs; in applyFixings() 3671 …consdata->lhs, SCIPvarGetName(consdata->var), xlb, xub, consdata->vbdcoef, SCIPvarGetName(consdata… in tightenCoefs() 3711 …consdata->lhs, SCIPvarGetName(consdata->var), xlb, xub, consdata->vbdcoef, SCIPvarGetName(consdata… in tightenCoefs() 3747 …SCIPvarGetName(consdata->var), consdata->lhs - xlb, SCIPvarGetName(consdata->vbdvar), consdata->lh… in tightenCoefs() 3768 consdata->vbdcoef = consdata->vbdcoef - consdata->lhs + xlb; in tightenCoefs() 3785 …SCIPvarGetName(consdata->var), consdata->rhs - xub, SCIPvarGetName(consdata->vbdvar), consdata->rh… in tightenCoefs() 3806 consdata->vbdcoef = consdata->vbdcoef - consdata->rhs + xub; in tightenCoefs() 4581 …SCIPvarGetName(consdata->var), -consdata->vbdcoef, SCIPvarGetName(consdata->vbdvar), consdata->lhs, in SCIP_DECL_CONSPRESOL() 4585 … SCIP_CALL( SCIPaddVarVlb(scip, consdata->var, consdata->vbdvar, -consdata->vbdcoef, consdata->lhs, in SCIP_DECL_CONSPRESOL() 4596 …SCIPvarGetName(consdata->var), -consdata->vbdcoef, SCIPvarGetName(consdata->vbdvar), consdata->rhs, in SCIP_DECL_CONSPRESOL() [all …]
|
H A D | cons_or.c | 330 consdata->watchedvar1 = consdata->watchedvar2; in consdataSwitchWatchedvars() 333 consdata->filterpos1 = consdata->filterpos2; in consdataSwitchWatchedvars() 377 assert(consdata->nvars <= consdata->varssize); in consdataEnsureVarsSize() 426 …SCIP_CALL( SCIPgetTransformedVars(scip, (*consdata)->nvars, (*consdata)->vars, (*consdata)->vars) … in consdataCreate() 552 consdata->vars[consdata->nvars] = var; in addCoef() 620 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 624 if( consdata->watchedvar1 == consdata->nvars ) in delCoefPos() 626 if( consdata->watchedvar2 == consdata->nvars ) in delCoefPos() 648 assert(consdata->nvars == 0 || consdata->vars != NULL); in applyFixings() 712 consdata->rowssize = consdataGetNRows(consdata); in createRelaxation() [all …]
|
H A D | cons_quadratic.c | 1980 …consdata->linvarssorted = consdata->linvarssorted && (SCIPvarCompare(consdata->linvars[consdata->n… in addLinearCoef() 3467 consdata->nlinvars, consdata->linvars, consdata->lincoefs, in createNlRow() 3507 …if( SCIPisEQ(scip, consdata->lhs, consdata->rhs) && consdata->nlinvars == 0 && consdata->nquadvars… in presolveSolve() 5737 consdata->lhsviol = consdata->lhs - consdata->activity; in computeViolation() 5747 consdata->rhsviol = consdata->activity - consdata->rhs; in computeViolation() 10368 consdata->nlinvars, consdata->linvars, consdata->lincoefs, in replaceByLinearConstraints() 13893 consdata->lhs, consdata->rhs, in SCIP_DECL_CONSCOPY() 14723 if( consdata->lhs > consdata->rhs ) in SCIPaddConstantQuadratic() 14726 consdata->lhs = consdata->rhs; in SCIPaddConstantQuadratic() 15532 &consdata->lhs, &consdata->rhs, in SCIPaddToNlpiProblemQuadratic() [all …]
|
H A D | cons_linking.c | 150 SCIPsortRealPtr(consdata->vals, (void**)consdata->binvars, consdata->nbinvars); in consdataSort() 999 consdata->binvars[pos] = consdata->binvars[consdata->nbinvars-1]; in delCoefPos() 1000 consdata->vals[pos] = consdata->vals[consdata->nbinvars-1]; in delCoefPos() 1054 consdata->lastnonfixed = consdata->nbinvars - 1; in removeFixedBinvars() 1079 if( consdata->nfixedones > 1 || consdata->nfixedzeros >= consdata->nbinvars-1 ) in tightenedLinkvar() 1222 assert(0 <= consdata->nfixedzeros && consdata->nfixedzeros <= consdata->nbinvars); in processBinvarFixings() 1223 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nbinvars); in processBinvarFixings() 1454 assert(consdata->nfixedzeros + consdata->nfixedones <= consdata->nbinvars); in processBinvarFixings() 3198 vars[consdata->nbinvars] = consdata->linkvar; in SCIP_DECL_CONSGETVARS() 3262 assert(0 <= consdata->nfixedzeros && consdata->nfixedzeros <= consdata->nbinvars); in SCIP_DECL_EVENTEXEC() [all …]
|
H A D | cons_linear.c | 3742 consdata->vars[consdata->nvars] = var; in addCoef() 3743 consdata->vals[consdata->nvars] = val; in addCoef() 3836 …consdata->indexsorted = consdata->indexsorted && (consdataCompVar((void*)consdata, consdata->nvars… in addCoef() 3842 …consdata->coefsorted = consdata->coefsorted && (consdataCompVarProp((void*)consdata, consdata->nva… in addCoef() 3918 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 3919 consdata->vals[pos] = consdata->vals[consdata->nvars-1]; in delCoefPos() 3923 consdata->eventdata[pos] = consdata->eventdata[consdata->nvars-1]; in delCoefPos() 4126 consdata->lhs = -consdata->rhs; in scaleCons() 7515 …SCIP_CALL( SCIPaddVarsToRow(scip, consdata->row, consdata->nvars, consdata->vars, consdata->vals) … in createRow() 16221 consdata->lhs = consdata->rhs; in SCIP_DECL_CONSPRESOL() [all …]
|
H A D | cons_abspower.c | 1263 … c = consdata->xoffset * consdata->xoffset * SCIPvarGetObj(consdata->z) / consdata->zcoef; in presolveDual() 1305 … c = -consdata->xoffset * consdata->xoffset * SCIPvarGetObj(consdata->z) / consdata->zcoef; in presolveDual() 1393 …zfix = consdata->rhs - SIGN(xfix + consdata->xoffset) * consdata->power(ABS(xfix + consdata->xoffs… in presolveDual() 2196 …ref = (consdata->power(xub, consdata->exponent) - consdata->power(xlb, consdata->exponent)) / (con… in proposeBranchingPoint() 5853 …consdata->exponent, consdata->xoffset, consdata->power, 1.0, consdata->zcoef, consdata->rhs, consd… in SCIP_DECL_CONSINITLP() 5934 …consdata->exponent, -consdata->xoffset, consdata->power, -1.0, -consdata->zcoef, -consdata->lhs, c… in SCIP_DECL_CONSINITLP() 6497 …lhs = (consdata->rhs - SIGN(consdata->xoffset) * consdata->power(ABS(consdata->xoffset), consdata-… in SCIP_DECL_CONSPRESOL() 6501 …rhs = (consdata->lhs - SIGN(consdata->xoffset) * consdata->power(ABS(consdata->xoffset), consdata-… in SCIP_DECL_CONSPRESOL() 6508 …lhs = (consdata->lhs - SIGN(consdata->xoffset) * consdata->power(ABS(consdata->xoffset), consdata-… in SCIP_DECL_CONSPRESOL() 6512 …rhs = (consdata->rhs - SIGN(consdata->xoffset) * consdata->power(ABS(consdata->xoffset), consdata-… in SCIP_DECL_CONSPRESOL() [all …]
|
H A D | cons_xor.c | 266 consdata->filterpos1 = consdata->filterpos2; in consdataSwitchWatchedvars() 314 assert(consdata->nvars <= consdata->varssize); in consdataEnsureVarsSize() 602 consdata->vars[consdata->nvars] = var; in addCoef() 604 consdata->sorted = (consdata->nvars == 1); in addCoef() 684 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 688 if( consdata->watchedvar1 == consdata->nvars ) in delCoefPos() 907 consdata->rhs = !consdata->rhs; in applyFixings() 927 consdata->rhs = !consdata->rhs; in applyFixings() 1025 consdata->rhs = !consdata->rhs; in applyFixings() 1486 consdata->extvarssize = consdata->nvars; in addExtendedAsymmetricFormulation() [all …]
|
H A D | cons_cardinality.c | 164 (*eventdata)->consdata = consdata; in catchVarEventCardinality() 389 assert(consdata->nvars <= consdata->maxvars); in consdataEnsurevarsSizeCardinality() 569 assert(consdata->maxvars >= consdata->nvars+1); in addVarCardinality() 694 consdata->vars[consdata->nvars] = var; in appendVarCardinality() 695 consdata->indvars[consdata->nvars] = indvar; in appendVarCardinality() 699 consdata->weights[consdata->nvars] = consdata->weights[consdata->nvars-1] + 1.0; in appendVarCardinality() 735 consdata->vars[j] = consdata->vars[j+1]; in deleteVarCardinality() 1052 if( consdata->nvars <= consdata->cardval ) in presolRoundCardinality() 2498 consdata->vars[j], consdata->indvars[j], j, &consdata->eventdatas[j]) ); in SCIP_DECL_CONSTRANS() 3112 consdata = eventdata->consdata; in SCIP_DECL_EVENTEXEC() [all …]
|
H A D | cons_bounddisjunction.c | 684 consdata->filterpos1 = consdata->filterpos2; in switchWatchedvars() 789 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 790 consdata->boundtypes[pos] = consdata->boundtypes[consdata->nvars-1]; in delCoefPos() 791 consdata->bounds[pos] = consdata->bounds[consdata->nvars-1]; in delCoefPos() 795 if( consdata->watchedvar1 == consdata->nvars ) in delCoefPos() 797 if( consdata->watchedvar2 == consdata->nvars ) in delCoefPos() 830 if( consdata->varssize == consdata->nvars ) in addCoef() 840 assert(consdata->varssize > consdata->nvars); in addCoef() 882 consdata->vars[consdata->nvars] = var; in addCoef() 884 consdata->bounds[consdata->nvars] = bound; in addCoef() [all …]
|
H A D | cons_and.c | 355 consdata->watchedvar1 = consdata->watchedvar2; in consdataSwitchWatchedvars() 358 consdata->filterpos1 = consdata->filterpos2; in consdataSwitchWatchedvars() 402 assert(consdata->nvars <= consdata->varssize); in consdataEnsureVarsSize() 629 consdata->vars[consdata->nvars] = var; in addCoef() 631 consdata->sorted = (consdata->nvars == 1); in addCoef() 706 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 710 if( consdata->watchedvar1 == consdata->nvars ) in delCoefPos() 712 if( consdata->watchedvar2 == consdata->nvars ) in delCoefPos() 742 var1 = consdata->vars[consdata->watchedvar1]; in consdataSort() 747 var2 = consdata->vars[consdata->watchedvar2]; in consdataSort() [all …]
|
H A D | cons_soc.c | 731 consdata->lhsval = consdata->constant; in evalLhs() 747 consdata->lhsval = sqrt(consdata->lhsval); in evalLhs() 1580 while( consdata->nvars && consdata->vars[consdata->nvars-1] == NULL ) in presolveRemoveFixedVariables() 1595 consdata->vars[i] = consdata->vars[consdata->nvars-1]; in presolveRemoveFixedVariables() 1596 consdata->offsets[i] = consdata->offsets[consdata->nvars-1]; in presolveRemoveFixedVariables() 1597 consdata->coefs[i] = consdata->coefs[consdata->nvars-1]; in presolveRemoveFixedVariables() 1735 …-sqrt(consdata->rhscoeff * consdata->rhscoeff * consdata->rhsoffset * consdata->rhsoffset - consda… in presolveRemoveFixedVariables() 1736 …+sqrt(consdata->rhscoeff * consdata->rhscoeff * consdata->rhsoffset * consdata->rhsoffset - consda… in presolveRemoveFixedVariables() 2763 rhsval = consdata->lhsval / consdata->rhscoeff - consdata->rhsoffset; in polishSolution() 4906 consdata->nvars, vars, consdata->coefs, consdata->offsets, consdata->constant, in SCIP_DECL_CONSCOPY() [all …]
|
H A D | cons_nonlinear.c | 1391 …(SCIPvarCompare(consdata->linvars[consdata->nlinvars-2], consdata->linvars[consdata->nlinvars-1]) … in addLinearCoef() 2080 consdata->nlinvars, consdata->linvars, consdata->lincoefs, in createNlRow() 2082 NULL, consdata->lhs, consdata->rhs, in createNlRow() 2089 consdata->nlinvars, consdata->linvars, consdata->lincoefs, in createNlRow() 2091 consdata->exprtrees[0], consdata->lhs, consdata->rhs, in createNlRow() 2108 consdata->nlinvars, consdata->linvars, consdata->lincoefs, in createNlRow() 4070 consdata->lhsviol = consdata->lhs - consdata->activity; in computeViolation() 4075 consdata->rhsviol = consdata->activity - consdata->rhs; in computeViolation() 6915 …j(consdata->linvars[consdata->linvar_maydecrease]) / consdata->lincoefs[consdata->linvar_maydecrea… in consdataFindUnlockedLinearVar() 6924 …j(consdata->linvars[consdata->linvar_mayincrease]) / consdata->lincoefs[consdata->linvar_mayincrea… in consdataFindUnlockedLinearVar() [all …]
|
H A D | cons_sos2.c | 285 assert( consdata->nvars <= consdata->maxvars ); in consdataEnsurevarsSizeSOS2() 380 if ( consdata->weights == NULL && consdata->maxvars > 0 ) in addVarSOS2() 399 assert( consdata->maxvars >= consdata->nvars+1 ); in addVarSOS2() 412 consdata->vars[j] = consdata->vars[j-1]; in addVarSOS2() 413 consdata->weights[j] = consdata->weights[j-1]; in addVarSOS2() 467 consdata->vars[consdata->nvars] = var; in appendVarSOS2() 471 consdata->weights[consdata->nvars] = consdata->weights[consdata->nvars-1] + 1.0; in appendVarSOS2() 473 consdata->weights[consdata->nvars] = 0.0; in appendVarSOS2() 1568 assert( consdata->nvars <= consdata->maxvars ); in SCIP_DECL_CONSPRESOL() 2229 assert( 0 <= consdata->nfixednonzeros && consdata->nfixednonzeros <= consdata->nvars ); in SCIP_DECL_EVENTEXEC() [all …]
|
H A D | cons_logicor.c | 235 assert(consdata->nvars <= consdata->varssize); in consdataEnsureVarsSize() 400 consdata->watchedvar1 = consdata->watchedvar2; in switchWatchedvars() 403 consdata->filterpos1 = consdata->filterpos2; in switchWatchedvars() 479 consdata->vars[consdata->nvars] = var; in addCoef() 498 consdata->sorted = (consdata->nvars == 1); in addCoef() 565 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 571 if( consdata->watchedvar1 == consdata->nvars ) in delCoefPos() 573 if( consdata->watchedvar2 == consdata->nvars ) in delCoefPos() 1358 assert(consdata->watchedvar1 == -1 || consdata->watchedvar1 != consdata->watchedvar2); in processWatchedVars() 1796 var1 = consdata->vars[consdata->watchedvar1]; in consdataSort() [all …]
|
H A D | cons_conjunction.c | 77 assert(consdata != NULL); in consdataCreate() 119 assert(consdata != NULL); in consdataFree() 129 SCIPfreeBlockMemoryArrayNull(scip, &(*consdata)->conss, (*consdata)->consssize); in consdataFree() 143 assert(consdata != NULL); in consdataAddCons() 146 …SCIP_CALL( SCIPensureBlockMemoryArray(scip, &consdata->conss, &consdata->consssize, consdata->ncon… in consdataAddCons() 148 assert(consdata->nconss < consdata->consssize); in consdataAddCons() 151 consdata->conss[consdata->nconss] = cons; in consdataAddCons() 152 consdata->nconss++; in consdataAddCons() 156 …SCIP_CALL( SCIPtransformCons(scip, consdata->conss[consdata->nconss - 1], &(consdata->conss[consda… in consdataAddCons() 176 SCIP_CONSDATA* consdata; in addAllConss() local [all …]
|
H A D | cons_symresack.c | 631 vars = consdata->vars; in initLP() 830 vars = consdata->vars; in propVariables() 961 ++consdata->debugcnt; in addSymresackInequality() 1025 perm = consdata->perm; in separateSymresackCovers() 1272 vars = consdata->vars; in checkSymresackSolution() 1582 consdata->vars = NULL; in SCIP_DECL_CONSTRANS() 1584 consdata->perm = NULL; in SCIP_DECL_CONSTRANS() 1591 consdata->ncycles = 0; in SCIP_DECL_CONSTRANS() 2229 vars = consdata->vars; in SCIP_DECL_CONSRESPROP() 2341 vars = consdata->vars; in SCIP_DECL_CONSLOCK() [all …]
|
H A D | cons_knapsack.c | 495 assert(!consdata->cliquepartitioned || consdata->ncliques <= consdata->nvars); in calcCliquepartition() 496 assert(!consdata->negcliquepartitioned || consdata->nnegcliques <= consdata->nvars); in calcCliquepartition() 714 (*consdata)->varssize = (*consdata)->nvars; in consdataCreate() 757 updateWeightSums(*consdata, (*consdata)->vars[v], (*consdata)->weights[v]); in consdataCreate() 6233 consdata->vars[consdata->nvars] = var; in addCoef() 6317 consdata->sorted = (consdata->sorted && pos == consdata->nvars - 1); in delCoefPos() 6324 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 6325 consdata->weights[pos] = consdata->weights[consdata->nvars-1]; in delCoefPos() 6327 consdata->eventdata[pos] = consdata->eventdata[consdata->nvars-1]; in delCoefPos() 6338 if( consdata->cliquepartition[consdata->nvars - 1] != consdata->nvars - 1 ) in delCoefPos() [all …]
|
H A D | cons_disjunction.c | 100 assert(consdata != NULL); in consdataCreate() 178 SCIPfreeBlockMemoryArrayNull(scip, &(*consdata)->conss, (*consdata)->consssize); in consdataFree() 197 …SCIP_CALL( SCIPensureBlockMemoryArray(scip, &consdata->conss, &consdata->consssize, consdata->ncon… in consdataAddCons() 199 assert(consdata->nconss < consdata->consssize); in consdataAddCons() 202 consdata->conss[consdata->nconss] = cons; in consdataAddCons() 203 consdata->nconss++; in consdataAddCons() 207 …SCIP_CALL( SCIPtransformCons(scip, consdata->conss[consdata->nconss - 1], &(consdata->conss[consda… in consdataAddCons() 226 SCIP_CONSDATA* consdata; in branchCons() local 242 conss = consdata->conss; in branchCons() 298 SCIP_CONSDATA* consdata; in checkCons() local [all …]
|
H A D | cons_orbitope.c | 686 consdata->vals[i][j] = SCIPgetSolVal(scip, sol, consdata->vars[i][j]); in copyValues() 834 vars = consdata->vars; in fixTriangle() 926 vars = consdata->vars; in separateSCIs() 927 vals = consdata->vals; in separateSCIs() 1079 vars = consdata->vars; in propagatePackingPartitioningCons() 1733 m = consdata->nspcons; in propagateFullOrbitopeCons() 1734 n = consdata->nblocks; in propagateFullOrbitopeCons() 1735 vars = consdata->vars; in propagateFullOrbitopeCons() 1741 consdata->roworder, m, n, &(consdata->nrowsused)) ); in propagateFullOrbitopeCons() 3698 if ( varssize < consdata->nblocks * consdata->nspcons ) in SCIP_DECL_CONSGETVARS() [all …]
|
H A D | cons_setppc.c | 540 assert(consdata->nvars <= consdata->varssize); in consdataEnsureVarsSize() 1077 consdata->vars[consdata->nvars] = var; in addCoef() 1081 consdata->sorted = (consdata->nvars == 1); in addCoef() 1192 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in delCoefPos() 2117 assert(0 <= consdata->nfixedzeros && consdata->nfixedzeros <= consdata->nvars); in processFixings() 2118 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nvars); in processFixings() 2317 assert(consdata->nfixedzeros + consdata->nfixedones <= consdata->nvars); in processFixings() 2490 assert(0 <= consdata->nfixedzeros && consdata->nfixedzeros <= consdata->nvars); in separateCons() 2491 assert(0 <= consdata->nfixedones && consdata->nfixedones <= consdata->nvars); in separateCons() 8788 assert(0 <= consdata->nfixedzeros && consdata->nfixedzeros <= consdata->nvars); in SCIP_DECL_EVENTEXEC() [all …]
|
H A D | cons_orbisack.c | 386 SCIP_CONSDATA* consdata; in initLP() local 399 assert( consdata != 0 ); in initLP() 404 vars1 = consdata->vars1; in initLP() 405 vars2 = consdata->vars2; in initLP() 791 SCIP_CONSDATA* consdata; in propVariables() local 825 nrows = consdata->nrows; in propVariables() 826 vars1 = consdata->vars1; in propVariables() 1237 …CIP_CALL( separateInequalities(scip, result, conss[c], consdata->nrows, consdata->vars1, consdata-… in SCIP_DECL_CONSSEPALP() 1297 …CIP_CALL( separateInequalities(scip, result, conss[c], consdata->nrows, consdata->vars1, consdata-… in SCIP_DECL_CONSSEPASOL() 1429 …SCIP_CALL( SCIPcheckSolutionOrbisack(scip, NULL, consdata->vars1, consdata->vars2, consdata->nrows… in SCIP_DECL_CONSENFOPS() [all …]
|
H A D | cons_bivariate.c | 627 … consdata->z != NULL ? 1 : 0, consdata->z != NULL ? &consdata->z : NULL, &consdata->zcoef, in removeFixedVariables() 881 consdata->activity += consdata->zcoef * zval; in computeViolation() 886 if( consdata->activity < consdata->lhs && !SCIPisInfinity(scip, -consdata->lhs) ) in computeViolation() 888 consdata->lhsviol = consdata->lhs - consdata->activity; in computeViolation() 895 if( consdata->activity > consdata->rhs && !SCIPisInfinity(scip, consdata->rhs) ) in computeViolation() 897 consdata->rhsviol = consdata->activity - consdata->rhs; in computeViolation() 6360 … consdata->z != NULL ? 1 : 0, consdata->z != NULL ? &consdata->z : NULL, &consdata->zcoef, in SCIP_DECL_CONSINITSOL() 6362 consdata->f, consdata->lhs, consdata->rhs, in SCIP_DECL_CONSINITSOL() 6952 …if( !(consdata->mayincreasez && consdata->zcoef > 0.0) && !(consdata->maydecreasez && consdata->zc… in SCIP_DECL_CONSCHECK() 6960 …if( !(consdata->mayincreasez && consdata->zcoef < 0.0) && !(consdata->maydecreasez && consdata->zc… in SCIP_DECL_CONSCHECK() [all …]
|
/dports/math/SCIP/scip-7.0.3/applications/Scheduler/src/ |
H A D | cons_optcumulative.c | 530 assert(consdata->nfixedzeros + consdata->nfixedones <= consdata->nvars); in catchEventBinvar() 1422 consdata->capacity, consdata->hmin, consdata->hmax, FALSE, in checkRedundancy() 2178 consdata->binvars[pos] = consdata->binvars[consdata->nvars-1]; in consdataDeletePos() 2179 consdata->vars[pos] = consdata->vars[consdata->nvars-1]; in consdataDeletePos() 2180 consdata->demands[pos] = consdata->demands[consdata->nvars-1]; in consdataDeletePos() 2181 consdata->durations[pos] = consdata->durations[consdata->nvars-1]; in consdataDeletePos() 2182 consdata->downlocks[pos] = consdata->downlocks[consdata->nvars-1]; in consdataDeletePos() 2183 consdata->uplocks[pos] = consdata->uplocks[consdata->nvars-1]; in consdataDeletePos() 2333 consdata->hmin, consdata->hmax, consdata->downlocks, consdata->uplocks, cons, in presolveCumulativeCondition() 2384 consdata->hmin, consdata->hmax, consdata->capacity, nvars); in presolveCumulativeCondition() [all …]
|
/dports/math/SCIP/scip-7.0.3/examples/Binpacking/src/ |
H A D | cons_samediff.c | 98 (*consdata)->type = type; in consdataCreate() 102 (*consdata)->node = node; in consdataCreate() 126 ids[consdata->itemid1], ids[consdata->itemid2], SCIPnodeGetNumber(consdata->node) ); in consdataPrint() 153 assert(consdata != NULL); in checkVariable() 170 type = consdata->type; in checkVariable() 272 type = consdata->type; in consdataCheck() 369 SCIP_CONSDATA* consdata; in SCIP_DECL_CONSPROP() local 446 SCIP_CONSDATA* consdata; in SCIP_DECL_CONSACTIVE() local 478 SCIP_CONSDATA* consdata; in SCIP_DECL_CONSDEACTIVE() local 562 SCIP_CONSDATA* consdata; in SCIPcreateConsSamediff() local [all …]
|