| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | heur_indicator.c | 119 if ( ! SCIPconsIsActive(indconss[i]) ) in tryOneOpt()
146 if ( ! SCIPconsIsActive(indconss[c]) ) in tryOneOpt()
264 if ( ! SCIPconsIsActive(indconss[c]) ) in trySolCandidate()
509 if ( SCIPconsIsActive(indconss[i]) ) in SCIP_DECL_HEUREXEC()
|
| H A D | presol_gateextraction.c | 365 assert(SCIPconsIsActive(setppcs[c])); in createPresoldata()
392 assert(SCIPconsIsActive(usefulconss[c])); in createPresoldata()
442 assert(SCIPconsIsActive(logicors[c])); in createPresoldata()
567 assert(SCIPconsIsActive(presoldata->setppchashdatas[c].cons)); in cleanupHashDatas()
616 assert(SCIPconsIsActive(logicors[c])); in correctPresoldata()
638 assert(SCIPconsIsActive(setppcs[c])); in correctPresoldata()
720 …while( presoldata->nusefullogicor > 0 && !SCIPconsIsActive(presoldata->usefullogicor[presoldata->n… in correctPresoldata()
751 assert(SCIPconsIsActive(logicors[c])); in correctPresoldata()
833 if( !SCIPconsIsActive(logicor) ) in extractGates()
938 if( hashmaphashdata != NULL && SCIPconsIsActive(hashmaphashdata->cons) ) in extractGates()
[all …]
|
| H A D | cons_setppc.c | 197 assert(SCIPconsIsActive(cons1)); in setppcCompare()
198 assert(SCIPconsIsActive(cons2)); in setppcCompare()
947 if( SCIPconsIsActive(cons) ) in catchEvent()
1111 if( SCIPconsIsActive(cons) ) in addCoef()
1301 assert(SCIPconsIsActive(cons)); in dualPresolving()
3161 if( !SCIPconsIsActive(cons) ) in presolvePropagateCons()
3257 assert(SCIPconsIsActive(cons)); in presolvePropagateCons()
3540 if( !SCIPconsIsActive(cons) ) in checkForOverlapping()
4387 if( !SCIPconsIsActive(cons) ) in liftCliqueVariables()
4681 if( !SCIPconsIsActive(cons) ) in liftCliqueVariables()
[all …]
|
| H A D | pub_cons.h | 591 SCIP_Bool SCIPconsIsActive(
830 : !SCIPconsIsActive(cons) ? INT_MAX \
833 #define SCIPconsIsActive(cons) ((cons)->updateactivate || ((cons)->active && !(cons)->upda… macro
|
| H A D | cons_and.c | 2035 if( !SCIPconsIsActive(cons) ) in dualPresolve()
2046 if( !SCIPconsIsActive(cons) ) in dualPresolve()
2531 assert(SCIPconsIsActive(cons)); in dualPresolve()
3030 if( !SCIPconsIsActive(cons) ) in cliquePresolve()
3165 if( allnegoperandsexist && SCIPconsIsActive(cons) ) in cliquePresolve()
3402 assert(SCIPconsIsActive(cons1)); in detectRedundantConstraints()
3453 assert(SCIPconsIsActive(cons1)); in detectRedundantConstraints()
3566 assert(SCIPconsIsActive(cons0)); in preprocessConstraintPairs()
3580 if( SCIPconsIsActive(cons0) ) in preprocessConstraintPairs()
4093 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSEXITPRE()
[all …]
|
| H A D | cons_logicor.c | 642 assert(SCIPconsIsActive(cons)); in dualPresolving()
2106 assert(SCIPconsIsActive(cons)); in removeConsFromOccurList()
2225 assert(SCIPconsIsActive(cons)); in removeRedundantConss()
2360 assert(SCIPconsIsActive(cons)); in addConsToOccurList()
2470 assert(SCIPconsIsActive(cons)); in removeRedundantNonZeros()
2525 if( !SCIPconsIsActive(cons1) ) in removeRedundantNonZeros()
2726 if( !SCIPconsIsActive(cons) ) in strengthenConss()
3011 assert(SCIPconsIsActive(cons)); in removeRedundantConssAndNonzeros()
3037 assert(SCIPconsIsActive(cons)); in removeRedundantConssAndNonzeros()
3048 assert(SCIPconsIsActive(cons)); in removeRedundantConssAndNonzeros()
[all …]
|
| H A D | cons_disjunction.c | 373 if( SCIPconsIsActive(conss[c]) ) in propagateCons()
530 if( consdata->relaxcons != NULL && !SCIPconsIsActive(consdata->relaxcons) ) in SCIP_DECL_CONSINITLP()
645 if( !SCIPconsIsActive(consdata->conss[0]) ) in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_conjunction.c | 197 if( !SCIPconsIsActive(consdata->conss[i]) ) in addAllConss()
430 if( !SCIPconsIsActive(consdata->conss[i]) ) in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_indicator.c | 973 assert( ! SCIPconsIsEnabled(conss[c]) || SCIPconsIsActive(lincons) ); in checkIIS()
2312 if ( SCIPisZero(scip, scalar) && ! SCIPconsIsActive(lincons) ) in addAltLPConstraint()
2327 if ( ! SCIPconsIsActive(lincons) && slackvar != NULL ) in addAltLPConstraint()
3309 if ( SCIPconsIsActive(consdata->lincons) ) in createVarUbs()
3377 if ( SCIPconsIsActive(consdata->lincons) ) in presolRoundIndicator()
3397 if ( SCIPconsIsActive(consdata->lincons) ) in presolRoundIndicator()
3432 if ( SCIPconsIsActive(consdata->lincons) ) in presolRoundIndicator()
3501 if ( SCIPconsIsActive(consdata->lincons) ) in presolRoundIndicator()
4526 if ( SCIPconsIsActive(lincons) ) in separatePerspective()
5472 if ( ! SCIPconsIsActive(conss[c]) ) in SCIP_DECL_CONSINITSOL()
[all …]
|
| H A D | cons_varbound.c | 2230 if( !SCIPconsIsActive(cons0) || SCIPconsIsModifiable(cons0) ) in preprocessConstraintPairs()
2258 if( !SCIPconsIsActive(cons1) || SCIPconsIsModifiable(cons1) ) in preprocessConstraintPairs()
2767 assert(SCIPconsIsActive(cons0)); in preprocessConstraintPairs()
3872 if( !SCIPconsIsActive(cons) ) in upgradeConss()
3886 if( !SCIPconsIsActive(cons) ) in upgradeConss()
3897 if( !SCIPconsIsActive(cons) ) in upgradeConss()
3908 if( !SCIPconsIsActive(cons) ) in upgradeConss()
4550 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
4558 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
4565 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_linear.c | 12724 assert(SCIPconsIsActive(cons0)); in aggregateConstraints()
12725 assert(SCIPconsIsActive(cons1)); in aggregateConstraints()
13266 assert(SCIPconsIsActive(consdel)); in detectRedundantConstraints()
13358 assert(SCIPconsIsActive(cons0)); in detectRedundantConstraints()
13417 assert(SCIPconsIsActive(cons0)); in preprocessConstraintPairs()
13946 assert(SCIPconsIsActive(cons1)); in preprocessConstraintPairs()
16214 assert(SCIPconsIsActive(cons)); in SCIP_DECL_CONSPRESOL()
16266 assert(SCIPconsIsActive(cons)); in SCIP_DECL_CONSPRESOL()
16338 assert(!SCIPconsIsActive(cons)); in SCIP_DECL_CONSPRESOL()
16624 if( SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
[all …]
|
| H A D | scip_conflict.c | 707 else if( SCIPconsIsActive(cons) ) in SCIPanalyzeConflictCons()
|
| H A D | cons_xor.c | 3689 if( !SCIPconsIsActive(cons0) || SCIPconsIsModifiable(cons0) ) in detectRedundantConstraints()
3768 assert(SCIPconsIsActive(cons1)); in detectRedundantConstraints()
3827 assert(SCIPconsIsActive(cons1)); in detectRedundantConstraints()
3877 assert(SCIPconsIsActive(cons0)); in preprocessConstraintPairs()
3906 …for( c = (cons0changed ? 0 : firstchange); c < chkind && !(*cutoff) && SCIPconsIsActive(cons0) && … in preprocessConstraintPairs()
3926 if( !SCIPconsIsActive(cons1) || SCIPconsIsModifiable(cons1) ) in preprocessConstraintPairs()
5319 if( SCIPconsIsActive(conss[c]) && !SCIPconsIsModifiable(conss[c]) ) in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_pseudoboolean.c | 4627 assert(SCIPconsIsActive(cons)); in addCliques()
5064 if( !SCIPconsIsActive(cons) ) in updateAndConss()
5790 assert(SCIPconsIsActive(cons)); in tryUpgradingXor()
6061 assert(SCIPconsIsActive(cons)); in tryUpgradingLogicor()
6574 assert(SCIPconsIsActive(cons)); in tryUpgradingSetppc()
7044 assert(SCIPconsIsActive(cons)); in tryUpgrading()
7148 assert(SCIPconsIsActive(cons)); in findAggregation()
8437 assert(SCIPconsIsActive(cons)); in SCIP_DECL_CONSPRESOL()
8504 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
8516 if( !SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
[all …]
|
| H A D | cons_nonlinear.c | 5663 assert(SCIPconsIsActive(conss[c])); in separatePoint()
6839 assert(SCIPconsIsActive(conss[c])); in propagateBounds()
7164 assert(SCIPconsIsActive(maxviolcons)); in enforceConstraint()
7407 if( !SCIPconsIsActive(conss[c]) ) /*lint !e613*/ in SCIP_DECL_CONSINITPRE()
7471 if( !SCIPconsIsActive(conss[c]) ) in SCIP_DECL_CONSEXITPRE()
7655 assert(!SCIPconsIsActive(cons)); in SCIP_DECL_CONSDELETE()
8086 assert(SCIPconsIsActive(maxviolcons)); in SCIP_DECL_CONSENFOPS()
8363 if( !SCIPconsIsActive(conss[c]) ) in SCIP_DECL_CONSPRESOL()
8674 assert(SCIPconsIsActive(cons)); in SCIP_DECL_CONSENABLE()
9732 assert(!SCIPconsIsActive(cons)); in SCIPsetExprtreesNonlinear()
[all …]
|
| H A D | cons.c | 2799 if( SCIPconsIsActive(conshdlr->initconss[c]) ) in SCIPconshdlrInitLP()
5400 if( active && !SCIPconsIsActive(cons) ) in SCIPconssetchgAddAddedCons()
5403 assert(SCIPconsIsActive(cons)); in SCIPconssetchgAddAddedCons()
8035 #undef SCIPconsIsActive
8130 assert(SCIPconsIsActive(cons)); in SCIPconsGetActiveDepth()
8136 SCIP_Bool SCIPconsIsActive( in SCIPconsIsActive() function
8166 : !SCIPconsIsActive(cons) ? INT_MAX in SCIPconsGetValidDepth()
|
| H A D | scip_copy.c | 1771 assert(SCIPconsIsActive(sourceconss[c])); in SCIPcopyConss()
2232 assert(SCIPconsIsActive(sourceconfs[c])); in SCIPcopyConflicts()
|
| H A D | conflictstore.c | 1459 if( !SCIPconsIsActive(conflict) || SCIPconsIsDeleted(conflict) ) in SCIPconflictstoreGetConflicts()
|
| H A D | cons_knapsack.c | 11470 if( !SCIPconsIsActive(cons0) || SCIPconsIsModifiable(cons0) ) in detectRedundantConstraints()
11499 assert(SCIPconsIsActive(cons1)); in detectRedundantConstraints()
11540 assert(SCIPconsIsActive(consstay)); in detectRedundantConstraints()
11581 assert(SCIPconsIsActive(cons0)); in preprocessConstraintPairs()
11610 if( !SCIPconsIsActive(cons1) || SCIPconsIsModifiable(cons1) ) in preprocessConstraintPairs()
12608 if( SCIPconsIsActive(cons) ) in SCIP_DECL_CONSPRESOL()
12653 if( !SCIPconsIsActive(cons) || SCIPconsIsModifiable(cons) ) in SCIP_DECL_CONSPRESOL()
|
| H A D | cons_bounddisjunction.c | 672 if( !SCIPconsIsActive(cons) ) in switchWatchedvars()
3239 …assert(SCIPconsIsActive((SCIP_CONS*)eventdata) || SCIPconsIsUpdatedeactivate((SCIP_CONS*)eventdata… in SCIP_DECL_EVENTEXEC()
|
| H A D | cons_or.c | 1770 if( !cutoff && SCIPconsIsActive(cons) && consdata->nvars == 2 && !consdata->opimpladded in SCIP_DECL_CONSPRESOL()
|
| H A D | heur_padm.c | 378 assert(SCIPconsIsActive(conss[i])); in copyToSubscip()
|
| H A D | prob.c | 1327 if( !SCIPconsIsActive(cons) ) in SCIPprobAddCons()
|
| H A D | debug.c | 784 if( !SCIPconsIsActive(conss[c]) ) in SCIPdebugCheckConss()
|
| /dports/math/SCIP/scip-7.0.3/examples/Binpacking/src/ |
| H A D | pricer_binpacking.c | 159 if( !SCIPconsIsActive(cons) ) in addBranchingDecisionConss()
|