/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prop_rootredcost.c | 355 SCIP_CALL( SCIPtightenVarUbGlobal(scip, var, newbd, FALSE, infeasible, tightened) ); in propagateRootRedcostVar() 363 SCIP_CALL( SCIPtightenVarLbGlobal(scip, var, newbd, FALSE, infeasible, tightened) ); in propagateRootRedcostVar() 418 SCIP_Bool tightened; in propagateBinaryBestRootRedcost() local 428 SCIP_CALL( propagateRootRedcostVar(scip, var, cutoffbound, cutoff, &tightened) ); in propagateBinaryBestRootRedcost() 430 if( tightened ) in propagateBinaryBestRootRedcost() 446 assert(!tightened); in propagateBinaryBestRootRedcost() 488 SCIP_Bool tightened; in propagateBinaryBestRootRedcost() 498 SCIP_CALL( propagateRootRedcostVar(scip, var, cutoffbound, cutoff, &tightened) ); in propagateBinaryBestRootRedcost() 499 assert(!tightened); in propagateBinaryBestRootRedcost() 656 SCIP_Bool tightened; in SCIP_DECL_PROPEXEC() local [all …]
|
H A D | prop_pseudoobj.c | 2290 *tightened = FALSE; in propagateCutoffboundVar() 2415 (*tightened) = FALSE; in propagateCutoffboundBinvar() 2476 SCIP_Bool tightened; in propagateCutoffboundGlobally() local 2536 if( !tightened ) in propagateCutoffboundGlobally() 2569 if( tightened ) in propagateCutoffboundGlobally() 2611 if( tightened ) in propagateCutoffboundGlobally() 2634 SCIP_Bool tightened; in propagateCutoffboundBinvars() local 2685 if( !tightened ) in propagateCutoffboundBinvars() 2716 if( tightened ) in propagateCutoffboundBinvars() 2765 SCIP_Bool tightened; in propagateCutoffbound() local [all …]
|
H A D | cons_varbound.c | 1407 SCIP_Bool tightened; in propagateCons() local 1513 if( tightened ) in propagateCons() 1656 if( tightened ) in propagateCons() 2672 if( tightened ) in preprocessConstraintPairs() 2685 if( tightened ) in preprocessConstraintPairs() 3009 if( tightened ) in applyFixings() 3020 if( tightened ) in applyFixings() 3034 if( tightened ) in applyFixings() 3045 if( tightened ) in applyFixings() 3607 if( tightened ) in tightenCoefs() [all …]
|
H A D | heur_completesol.c | 265 if( tightened[idx] == FALSE ) in createSubproblem() 416 assert(tightened != NULL); in tightenVariables() 468 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 485 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 498 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 537 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 618 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 676 tightened[SCIPvarGetProbindex(vars[v])] = TRUE; in tightenVariables() 951 SCIP_Bool* tightened; in applyCompletesol() local 980 SCIP_CALL( SCIPallocClearBufferArray(scip, &tightened, nvars) ); in applyCompletesol() [all …]
|
H A D | sepa_rapidlearning.c | 547 SCIP_Bool tightened; in setupAndSolveSubscipRapidlearning() local 565 tightened = FALSE; in setupAndSolveSubscipRapidlearning() 572 if( tightened ) in setupAndSolveSubscipRapidlearning() 575 tightened = FALSE; in setupAndSolveSubscipRapidlearning() 582 if( tightened ) in setupAndSolveSubscipRapidlearning() 587 tightened = FALSE; in setupAndSolveSubscipRapidlearning() 589 …ALL( SCIPtightenVarUb(scip, vars[i], SCIPvarGetUbGlobal(subvars[i]), FALSE, &cutoff, &tightened) ); in setupAndSolveSubscipRapidlearning() 594 if( tightened ) in setupAndSolveSubscipRapidlearning() 597 tightened = FALSE; in setupAndSolveSubscipRapidlearning() 599 …ALL( SCIPtightenVarLb(scip, vars[i], SCIPvarGetLbGlobal(subvars[i]), FALSE, &cutoff, &tightened) ); in setupAndSolveSubscipRapidlearning() [all …]
|
H A D | scip_var.h | 1912 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 1940 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 1965 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 1995 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 2025 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 2048 …SCIP_Bool* tightened /**< pointer to store whether the fixing tightened the l… 2073 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 2103 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 2133 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… 2185 …SCIP_Bool* tightened /**< pointer to store whether the bound was tightened, o… [all …]
|
H A D | prop_sync.c | 98 SCIP_Bool infeas, tightened; in applyBoundChanges() local 107 …CALL( SCIPtightenVarLbGlobal(scip, data->bndvar[i], data->bndval[i], FALSE, &infeas, &tightened) ); in applyBoundChanges() 112 …CALL( SCIPtightenVarUbGlobal(scip, data->bndvar[i], data->bndval[i], FALSE, &infeas, &tightened) ); in applyBoundChanges() 114 if( tightened ) in applyBoundChanges()
|
H A D | presol_implics.c | 266 SCIP_Bool tightened; in SCIP_DECL_PRESOLEXEC() local 274 … SCIP_CALL( SCIPtightenVarLb(scip, bdchgvars[v], bdchgvals[v], FALSE, &infeasible, &tightened) ); in SCIP_DECL_PRESOLEXEC() 278 … SCIP_CALL( SCIPtightenVarUb(scip, bdchgvars[v], bdchgvals[v], FALSE, &infeasible, &tightened) ); in SCIP_DECL_PRESOLEXEC() 287 else if( tightened ) in SCIP_DECL_PRESOLEXEC()
|
H A D | scip_var.c | 5271 *tightened = TRUE; in SCIPtightenVarLb() 5388 *tightened = TRUE; in SCIPtightenVarUb() 5436 *tightened = fixed; in SCIPinferVarFixCons() 5566 *tightened = TRUE; in SCIPinferVarLbCons() 5680 *tightened = TRUE; in SCIPinferVarUbCons() 5782 *tightened = TRUE; in SCIPinferBinvarCons() 5830 *tightened = fixed; in SCIPinferVarFixProp() 5961 *tightened = TRUE; in SCIPinferVarLbProp() 6076 *tightened = TRUE; in SCIPinferVarUbProp() 6179 *tightened = TRUE; in SCIPinferBinvarProp() [all …]
|
H A D | branch_fullstrong.c | 408 SCIP_Bool tightened; in SCIPselectVarStrongBranching() local 411 …tightenVarLb(scip, lpcands[c], SCIPfeasCeil(scip, lpcandssol[c]), TRUE, &infeasible, &tightened) ); in SCIPselectVarStrongBranching() 415 assert(tightened || propagate); in SCIPselectVarStrongBranching() 424 SCIP_Bool tightened; in SCIPselectVarStrongBranching() local 428 …ightenVarUb(scip, lpcands[c], SCIPfeasFloor(scip, lpcandssol[c]), TRUE, &infeasible, &tightened) ); in SCIPselectVarStrongBranching() 432 assert(tightened || propagate); in SCIPselectVarStrongBranching()
|
H A D | cons_sos2.c | 200 SCIP_Bool* tightened, /**< if fixing was performed */ in inferVariableZero() argument 205 *tightened = FALSE; in inferVariableZero() 222 *tightened = *tightened || tighten; in inferVariableZero() 226 *tightened = *tightened || tighten; in inferVariableZero() 860 SCIP_Bool tightened; in propSOS2() local 888 …LL( inferVariableZero(scip, vars[j], cons, firstFixedNonzero, &infeasible, &tightened, &success) ); in propSOS2() 891 if ( tightened ) in propSOS2() 911 if ( tightened ) in propSOS2() 921 SCIP_Bool tightened; in propSOS2() local 954 if ( tightened ) in propSOS2() [all …]
|
H A D | presol_milp.cpp | 608 SCIP_Bool tightened; in SCIP_DECL_PRESOLEXEC() local 609 … SCIP_CALL( SCIPtightenVarLb(scip, var, varDomains.lower_bounds[i], TRUE, &infeas, &tightened) ); in SCIP_DECL_PRESOLEXEC() 611 if( tightened ) in SCIP_DECL_PRESOLEXEC() 624 SCIP_Bool tightened; in SCIP_DECL_PRESOLEXEC() local 625 … SCIP_CALL( SCIPtightenVarUb(scip, var, varDomains.upper_bounds[i], TRUE, &infeas, &tightened) ); in SCIP_DECL_PRESOLEXEC() 627 if( tightened ) in SCIP_DECL_PRESOLEXEC()
|
H A D | sepa_intobj.c | 186 SCIP_Bool tightened; in separateCuts() local 213 SCIP_CALL( SCIPtightenVarLb(scip, sepadata->objvar, intbound, FALSE, &infeasible, &tightened) ); in separateCuts() 228 else if ( tightened ) in separateCuts()
|
H A D | prop_pseudoobj.h | 65 SCIP_Bool* tightened /**< pointer to if the domain was tightened */
|
/dports/math/ogdf/OGDF/src/coin/CoinUtils/ |
H A D | CoinPresolveDual.cpp | 241 tightened++; in presolve() 258 tightened++; in presolve() 275 tightened++; in presolve() 282 tightened++; in presolve() 311 tightened++; in presolve() 344 tightened++; in presolve() 351 tightened++; in presolve() 553 tightened ++; in presolve() 562 tightened ++; in presolve() 574 tightened ++; in presolve() [all …]
|
/dports/math/vampire/vampire-4.5.1/Saturation/ |
H A D | PredicateSplitPassiveClauseContainer.cpp | 315 bool tightened = false; in setLimitsToMax() local 319 tightened = tightened || currTightened; in setLimitsToMax() 321 return tightened; in setLimitsToMax() 328 bool tightened = false; in setLimitsFromSimulation() local 332 tightened = tightened || currTightened; in setLimitsFromSimulation() 334 return tightened; in setLimitsFromSimulation()
|
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/bound_tightening/ |
H A D | fake_tightening.cpp | 103 tightened = false, in fake_tighten() local 138 tightened = true; in fake_tighten() 254 tightened = true; in fake_tighten() 325 …if (tightened) Jnlst()->Printf(Ipopt::J_MOREVECTOR, J_BOUNDTIGHTENING, " [x%2d] pruned %s [%g, %g… in fake_tighten() 327 return tightened ? 1 : 0; in fake_tighten()
|
/dports/math/osi/Osi-0.108.6/CoinUtils/src/ |
H A D | CoinPresolveDual.cpp | 574 int tightened = 0; in presolve() local 674 tightened++; in presolve() 692 tightened++; in presolve() 721 tightened++ ; in presolve() 731 tightened++ ; in presolve() 797 tightened++; in presolve() 804 tightened++; in presolve() 1012 tightened++; in presolve() 1022 tightened++; in presolve() 1035 tightened++; in presolve() [all …]
|
/dports/math/coinutils/CoinUtils-2.11.4/CoinUtils/src/ |
H A D | CoinPresolveDual.cpp | 574 int tightened = 0; in presolve() local 674 tightened++; in presolve() 692 tightened++; in presolve() 721 tightened++ ; in presolve() 731 tightened++ ; in presolve() 797 tightened++; in presolve() 804 tightened++; in presolve() 1012 tightened++; in presolve() 1022 tightened++; in presolve() 1035 tightened++; in presolve() [all …]
|
/dports/math/clp/Clp-1.17.3/CoinUtils/src/ |
H A D | CoinPresolveDual.cpp | 574 int tightened = 0; in presolve() local 674 tightened++; in presolve() 692 tightened++; in presolve() 721 tightened++ ; in presolve() 731 tightened++ ; in presolve() 797 tightened++; in presolve() 804 tightened++; in presolve() 1012 tightened++; in presolve() 1022 tightened++; in presolve() 1035 tightened++; in presolve() [all …]
|
/dports/math/couenne/Couenne-releases-0.5.8/Couenne/src/branch/ |
H A D | doStrongBranching.cpp | 254 bool tightened = false; in doStrongBranching() local 288 tightened = false; in doStrongBranching() 305 tightened = true; in doStrongBranching() 310 tightened = true; in doStrongBranching() 314 if (tightened && // have tighter bounds in doStrongBranching()
|
/dports/devel/py-jedi/jedi-0.18.0/jedi/third_party/typeshed/third_party/3/jwt/ |
H A D | algorithms.pyi | 43 # Only defined if cryptography is installed. Types should be tightened when 60 # Only defined if cryptography is installed. Types should be tightened when 77 # Only defined if cryptography is installed. Types should be tightened when
|
/dports/graphics/libgphoto2/libgphoto2-2.5.26/camlibs/kodak/ez200/ |
H A D | ChangeLog | 6 * ez200.c: Cleaned up, tightened code.
|
/dports/math/highs/HiGHS-cfe064e/src/presolve/ |
H A D | HighsLpPropagator.cpp | 577 int tightened = 0; in tightenCoefficients() local 591 ++tightened; in tightenCoefficients() 596 ++tightened; in tightenCoefficients() 600 if (tightened != 0) { in tightenCoefficients() 619 ntightenedtotal += tightened; in tightenCoefficients()
|
/dports/math/SCIP/scip-7.0.3/examples/LOP/src/ |
H A D | cons_lop.c | 848 SCIP_Bool infeasible, tightened; in SCIP_DECL_CONSPROP() local 849 … SCIP_CALL( SCIPinferBinvarCons(scip, vars[j][i], FALSE, cons, i*n + j, &infeasible, &tightened) ); in SCIP_DECL_CONSPROP() 860 if ( tightened ) in SCIP_DECL_CONSPROP() 867 SCIP_Bool infeasible, tightened; in SCIP_DECL_CONSPROP() local 868 … SCIP_CALL( SCIPinferBinvarCons(scip, vars[j][i], TRUE, cons, i*n + j, &infeasible, &tightened) ); in SCIP_DECL_CONSPROP() 879 if ( tightened ) in SCIP_DECL_CONSPROP() 891 SCIP_Bool infeasible, tightened; in SCIP_DECL_CONSPROP() local 892 …IPinferBinvarCons(scip, vars[k][i], FALSE, cons, n*n + i*n*n + j*n + k, &infeasible, &tightened) ); in SCIP_DECL_CONSPROP() 904 if ( tightened ) in SCIP_DECL_CONSPROP()
|