| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | var.c | 2707 case SCIP_VARSTATUS_NEGATED: in varFree()
3028 case SCIP_VARSTATUS_NEGATED: in SCIPvarPrint()
3235 case SCIP_VARSTATUS_NEGATED: in SCIPvarGetNLocksDownType()
3292 case SCIP_VARSTATUS_NEGATED: in SCIPvarGetNLocksUpType()
3786 case SCIP_VARSTATUS_NEGATED: in SCIPvarFix()
5644 case SCIP_VARSTATUS_NEGATED: in SCIPvarMultiaggregate()
5751 case SCIP_VARSTATUS_NEGATED: in SCIPvarDoNotMultaggr()
5976 case SCIP_VARSTATUS_NEGATED: in SCIPvarMarkDoNotMultaggr()
10251 case SCIP_VARSTATUS_NEGATED: in SCIPvarAddVlb()
10696 case SCIP_VARSTATUS_NEGATED: in SCIPvarAddVub()
[all …]
|
| H A D | cons_setppc.c | 1614 if( SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED ) in mergeMultiples()
1624 if( SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED ) in mergeMultiples()
3647 if( SCIPvarGetStatus(vars[v]) != SCIP_VARSTATUS_NEGATED ) in checkForOverlapping()
3823 …assert(SCIPvarGetStatus(vars[v]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegationVa… in checkForOverlapping()
3840 …assert(SCIPvarGetStatus(vars1[v1]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegation… in checkForOverlapping()
4441 …assert(SCIPvarGetStatus(vars[v]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegationVa… in liftCliqueVariables()
4488 …assert(SCIPvarGetStatus(vars[k]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegationVa… in liftCliqueVariables()
4531 …assert(SCIPvarGetStatus(vars[k]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegationVa… in liftCliqueVariables()
5214 …ssert(SCIPvarIsActive(cons0vars[v]) || (SCIPvarGetStatus(cons0vars[v]) == SCIP_VARSTATUS_NEGATED && in preprocessCliques()
5973 …assert(SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED || SCIPvarGetStatus(negvar) == SCIP_VARSTAT… in removeDoubleAndSingletonsAndPerformDualpresolve()
[all …]
|
| H A D | type_var.h | 46 …SCIP_VARSTATUS_NEGATED = 6 /**< variable is the negation of an original or transformed v… enumerator
|
| H A D | pub_var.h | 940 …|| ((var)->varstatus == SCIP_VARSTATUS_NEGATED && (var)->negatedvar->varstatus == SCIP_VARSTATUS_O…
942 …&& ((var)->varstatus != SCIP_VARSTATUS_NEGATED || (var)->negatedvar->varstatus != SCIP_VARSTATUS_O…
943 #define SCIPvarIsNegated(var) ((var)->varstatus == SCIP_VARSTATUS_NEGATED)
|
| H A D | scip_copy.c | 870 case SCIP_VARSTATUS_NEGATED: in SCIPgetVarCopy()
878 assert(SCIPvarGetStatus(sourcenegatedvar) != SCIP_VARSTATUS_NEGATED); in SCIPgetVarCopy()
883 assert(SCIPvarGetStatus(targetnegatedvar) != SCIP_VARSTATUS_NEGATED); in SCIPgetVarCopy()
887 assert(SCIPvarGetStatus(*targetvar) == SCIP_VARSTATUS_NEGATED); in SCIPgetVarCopy()
|
| H A D | cons_logicor.c | 931 …tus(var) == SCIP_VARSTATUS_MULTAGGR || (SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED && SCIPvar… in applyFixings()
988 …PvarIsActive(consvars[v2]) || (SCIPvarGetStatus(consvars[v2]) == SCIP_VARSTATUS_NEGATED && SCIPvar… in applyFixings()
1254 …(SCIPvarGetStatus(vars[v]) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive(SCIPvarGetNegationVar(vars… in mergeMultiples()
3212 …assert(SCIPvarIsActive(var) || (SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED && SCIPvarIsActive… in shortenConss()
3429 …(SCIPvarIsActive(repvars[v]) || (SCIPvarGetStatus(repvars[v]) == SCIP_VARSTATUS_NEGATED && SCIPvar… in removeConstraintsDueToNegCliques()
3446 if( SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED ) in removeConstraintsDueToNegCliques()
3476 if( SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED ) in removeConstraintsDueToNegCliques()
|
| H A D | sol.c | 1245 case SCIP_VARSTATUS_NEGATED: in SCIPsolSetVal()
1328 case SCIP_VARSTATUS_NEGATED: in SCIPsolIncVal()
1450 case SCIP_VARSTATUS_NEGATED: in SCIPsolGetVal()
1523 case SCIP_VARSTATUS_NEGATED: in SCIPsolGetRayVal()
|
| H A D | reader_cip.c | 1016 case SCIP_VARSTATUS_NEGATED: in SCIP_DECL_READERWRITE()
|
| H A D | cons_xor.c | 852 …ive(consdata->vars[0]) || SCIPvarGetStatus(consdata->vars[0]) == SCIP_VARSTATUS_NEGATED || SCIPvar… in SCIP_DECL_HASHKEYVAL()
853 … 2]) || SCIPvarGetStatus(consdata->vars[consdata->nvars / 2]) == SCIP_VARSTATUS_NEGATED || SCIPvar… in SCIP_DECL_HASHKEYVAL()
854 … 1]) || SCIPvarGetStatus(consdata->vars[consdata->nvars - 1]) == SCIP_VARSTATUS_NEGATED || SCIPvar… in SCIP_DECL_HASHKEYVAL()
3445 …assert(SCIPvarIsActive(vars[v]) || (SCIPvarGetStatus(vars[v]) == SCIP_VARSTATUS_NEGATED && SCIPvar… in cliquePresolve()
4681 assert( SCIPvarGetStatus(parityvar) == SCIP_VARSTATUS_NEGATED ); in SCIP_DECL_LINCONSUPGD()
|
| H A D | reader_lp.c | 2570 if( SCIPvarGetStatus((*vars)[v]) == SCIP_VARSTATUS_NEGATED ) in getActiveVariables()
3215 …IP_VARSTATUS_AGGREGATED || status == SCIP_VARSTATUS_MULTAGGR || status == SCIP_VARSTATUS_NEGATED ); in collectAggregatedVars()
3717 …PvarGetStatus(var) == SCIP_VARSTATUS_ORIGINAL || SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ); in SCIPwriteLp()
|
| H A D | scip_var.c | 1886 case SCIP_VARSTATUS_NEGATED: in SCIPgetVarRedcost()
1932 case SCIP_VARSTATUS_NEGATED: in SCIPgetVarImplRedcost()
1976 case SCIP_VARSTATUS_NEGATED: in SCIPgetVarFarkasCoef()
2109 case SCIP_VARSTATUS_NEGATED: /* x' = offset - x -> x = offset - x' */ in SCIPgetVarLbAtIndex()
2111 assert(SCIPvarGetStatus(var->negatedvar) != SCIP_VARSTATUS_NEGATED); in SCIPgetVarLbAtIndex()
2245 case SCIP_VARSTATUS_NEGATED: /* x' = offset - x -> x = offset - x' */ in SCIPgetVarUbAtIndex()
2247 assert(SCIPvarGetStatus(var->negatedvar) != SCIP_VARSTATUS_NEGATED); in SCIPgetVarUbAtIndex()
|
| H A D | scip_prob.c | 1678 if( SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ) in SCIPaddVar()
1740 if( SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ) in SCIPaddPricedVar()
|
| H A D | cons_indicator.c | 3555 else if ( SCIPvarGetStatus(consdata->binvar) == SCIP_VARSTATUS_NEGATED ) in presolRoundIndicator()
3575 …r) == SCIP_VARSTATUS_AGGREGATED || SCIPvarGetStatus(consdata->slackvar) == SCIP_VARSTATUS_NEGATED ) in presolRoundIndicator()
6631 if ( SCIPvarGetStatus(binvar) == SCIP_VARSTATUS_NEGATED ) in SCIP_DECL_CONSPRINT()
8223 …( SCIPvarGetStatus(binvar) != SCIP_VARSTATUS_NEGATED || SCIPvarGetStatus(SCIPvarGetNegationVar(bin… in SCIPmakeIndicatorFeasible()
8246 …( SCIPvarGetStatus(binvar) != SCIP_VARSTATUS_NEGATED || SCIPvarGetStatus(SCIPvarGetNegationVar(bin… in SCIPmakeIndicatorFeasible()
|
| H A D | implics.c | 2663 || SCIPvarGetStatus(clique->vars[v]) == SCIP_VARSTATUS_NEGATED in cliqueCleanup()
2669 if( SCIPvarGetStatus(clique->vars[v]) == SCIP_VARSTATUS_NEGATED ) in cliqueCleanup()
|
| H A D | cons_linking.c | 2522 || SCIPvarGetStatus(consdata->linkvar) == SCIP_VARSTATUS_NEGATED); in SCIP_DECL_CONSPRESOL()
2600 || SCIPvarGetStatus(consdata->linkvar) == SCIP_VARSTATUS_NEGATED); in SCIP_DECL_CONSPRESOL()
|
| H A D | reader_pip.c | 2828 status == SCIP_VARSTATUS_NEGATED ); in collectAggregatedVars()
3114 …PvarGetStatus(var) == SCIP_VARSTATUS_ORIGINAL || SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ); in SCIPwritePip()
|
| H A D | presol_qpkktref.c | 1197 else if( SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ) in presolveAddKKTAggregatedVars()
|
| H A D | cons_knapsack.c | 6586 assert(SCIPvarIsActive(var1) || SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED); in mergeMultiples()
6587 if( SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED ) in mergeMultiples()
6596 assert(SCIPvarIsActive(var2) || SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED); in mergeMultiples()
6597 if( SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED ) in mergeMultiples()
6641 …sdata->vars[prev - 1]) || SCIPvarGetStatus(consdata->vars[prev - 1]) == SCIP_VARSTATUS_NEGATED)) ); in mergeMultiples()
13258 …(SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED && SCIPvarGetStatus(SCIPvarGetNegatedVar(var)) ==… in SCIP_DECL_EVENTEXEC()
|
| H A D | reader_opb.c | 2230 SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED ); in writeOpbObjective()
3705 if( SCIPvarGetStatus(indvar) == SCIP_VARSTATUS_NEGATED ) in writeOpbConstraints()
|
| H A D | prob.c | 1215 case SCIP_VARSTATUS_NEGATED: in SCIPprobVarChangedStatus()
|
| H A D | cons_superindicator.c | 1605 if ( SCIPvarGetStatus(binvar) == SCIP_VARSTATUS_NEGATED ) in SCIP_DECL_CONSPRINT()
|
| H A D | reader_mps.c | 2998 if( SCIPvarGetStatus(activevars[v]) == SCIP_VARSTATUS_NEGATED ) in getLinearCoeffs()
3061 …IP_VARSTATUS_AGGREGATED || status == SCIP_VARSTATUS_MULTAGGR || status == SCIP_VARSTATUS_NEGATED ); in collectAggregatedVars()
|
| H A D | event.c | 564 || SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED); in SCIPeventCreateVarFixed()
|
| H A D | cons_pseudoboolean.c | 4708 if( SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED ) in addCliques()
4725 if( SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED ) in addCliques()
4878 if( SCIPvarGetStatus(var1) == SCIP_VARSTATUS_NEGATED ) in addCliques()
4895 if( SCIPvarGetStatus(var2) == SCIP_VARSTATUS_NEGATED ) in addCliques()
|
| H A D | branch.c | 1164 || SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED in SCIPbranchcandUpdateVar()
|