| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | scip_dcmp.c | 188 assert(SCIPvarIsActive(varbuf[v]) || SCIPvarIsNegated(varbuf[v])); in decompGetConsVarsAndLabels()
191 if( SCIPvarIsNegated(varbuf[v]) ) in decompGetConsVarsAndLabels()
504 assert(SCIPvarIsActive(var) || (SCIPdecompIsOriginal(decomp) && SCIPvarIsNegated(var))); in SCIPcomputeDecompVarsLabels()
507 if( SCIPvarIsNegated(var) ) in SCIPcomputeDecompVarsLabels()
|
| H A D | reader_opb.c | 1354 if( SCIPvarIsNegated(linvars[v]) ) in setObjective()
2499 negated = SCIPvarIsNegated(var); in writeOpbObjective()
2518 negated = SCIPvarIsNegated(andvars[pos][nandvars[pos] - 1]); in writeOpbObjective()
2528 negated = SCIPvarIsNegated(andvars[pos][a]); in writeOpbObjective()
2628 negated = SCIPvarIsNegated(var); in printNLRow()
2640 negated = SCIPvarIsNegated(andvars[pos][nandvars[pos] - 1]); in printNLRow()
2655 negated = SCIPvarIsNegated(andvars[pos][a]); in printNLRow()
2851 negated = SCIPvarIsNegated(var); in printRow()
3061 negated = SCIPvarIsNegated(var); in printPBRow()
4162 negated = SCIPvarIsNegated(andvars[pos][nandvars[pos] - 1]); in writeOpbRelevantAnds()
[all …]
|
| H A D | pub_var.h | 430 SCIP_Bool SCIPvarIsNegated(
943 #define SCIPvarIsNegated(var) ((var)->varstatus == SCIP_VARSTATUS_NEGATED) macro
|
| H A D | heur_undercover.c | 770 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
830 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
890 if( SCIPvarIsNegated(coveringconsvars[v]) ) in createCoveringProblem()
971 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
1021 if( SCIPvarIsNegated(coveringconsvars[v]) ) in createCoveringProblem()
1080 if( SCIPvarIsNegated(repvar) ) in createCoveringProblem()
|
| H A D | cons_pseudoboolean.c | 835 if( !hashmapentryexists && SCIPvarIsNegated(vars[v]) ) in getLinVarsAndAndRess()
1001 …assert(SCIPvarIsActive(res) || (SCIPvarIsNegated(res) && SCIPvarIsActive(SCIPvarGetNegationVar(res… in checkConsConsistency()
3529 if( !SCIPhashmapExists(conshdlrdata->hashmap, (void*)(vars[v])) && SCIPvarIsNegated(vars[v]) ) in checkOrigPbCons()
4704 …if( !SCIPvarIsActive(var1) && (!SCIPvarIsNegated(var1) || !SCIPvarIsActive(SCIPvarGetNegationVar(v… in addCliques()
4721 …if( !SCIPvarIsActive(var2) && (!SCIPvarIsNegated(var2) || !SCIPvarIsActive(SCIPvarGetNegationVar(v… in addCliques()
4874 …if( !SCIPvarIsActive(var1) && (!SCIPvarIsNegated(var1) || !SCIPvarIsActive(SCIPvarGetNegationVar(v… in addCliques()
4891 …if( !SCIPvarIsActive(var2) && (!SCIPvarIsNegated(var2) || !SCIPvarIsActive(SCIPvarGetNegationVar(v… in addCliques()
5668 assert(!negated[v] || (SCIPvarIsNegated(repvars[v]) && SCIPvarGetNegatedVar(repvars[v]) != NULL)); in checkSolution()
7230 …assert(SCIPvarIsActive(repvars[v]) || (SCIPvarIsNegated(repvars[v]) && SCIPvarIsActive(SCIPvarGetN… in findAggregation()
7288 …assert(SCIPvarIsActive(repvars[v]) || (SCIPvarIsNegated(repvars[v]) && SCIPvarIsActive(SCIPvarGetN… in findAggregation()
[all …]
|
| H A D | heur_dualval.c | 1141 if( SCIPvarIsNegated(indicatorbinvar) ) in createSubSCIP()
1186 if (SCIPvarIsNegated(indicatorbinvar)) in createSubSCIP()
1246 if (!SCIPvarIsNegated(indicatorbinvar)) in createSubSCIP()
1816 … || (SCIPvarIsNegated(indicatorbinvar) && indicatorbinvar == SCIPvarGetNegatedVar(var)) ) in computeRanks()
2399 …ge(scip, SCIP_VERBLEVEL_HIGH, NULL, "Setting value of %s%s to 0\n", SCIPvarIsNegated(v) ? "(negate… in SCIPapplyHeurDualval()
|
| H A D | cons_orbisack.c | 272 if ( SCIPvarIsNegated(var) ) in packingUpgrade()
278 if ( SCIPvarIsNegated(var) ) in packingUpgrade()
346 if ( SCIPvarIsNegated(var) ) in packingUpgrade()
|
| H A D | debug.c | 395 … SCIPvarGetStatus(var), SCIPvarGetType(var), SCIPvarIsDeleted(var), SCIPvarIsNegated(var),SCIPvarI… in getSolutionValue()
409 if( SCIPvarIsNegated(solvar) ) in getSolutionValue()
426 if( SCIPvarIsNegated(solvar) ) in getSolutionValue()
|
| H A D | cons_symresack.c | 353 if ( SCIPvarIsNegated(var) ) in packingUpgrade()
397 if ( SCIPvarIsNegated(var) ) in packingUpgrade()
|
| H A D | cons_setppc.c | 432 if( SCIPvarIsNegated(var) ) in conshdlrdataAddVaruses()
2968 …assert(SCIPvarIsActive(var) || (SCIPvarIsNegated(var) && SCIPvarIsActive(SCIPvarGetNegationVar(var… in collectCliqueData()
2980 tmpvar = SCIPvarIsNegated(var) ? SCIPvarGetNegatedVar(var) : var; in collectCliqueData()
3082 assert(SCIPvarIsActive(addvar) || SCIPvarIsNegated(addvar)); in addCliqueDataEntry()
5202 …usefulvars && ((SCIPvarIsNegated(usefulvars[v1 + 1]) && SCIPvarGetNegatedVar(usefulvars[v1 + 1]) =… in preprocessCliques()
|
| H A D | reader_gms.c | 987 if( SCIPvarIsNegated(z) ) in printIndicatorCons()
1026 if( SCIPvarIsNegated(z) ) in printIndicatorCons()
|
| H A D | cons_xor.c | 924 assert(SCIPvarIsNegated(repvar)); in applyFixings()
2383 if ( SCIPvarIsNegated(var) ) in checkSystemGF2()
2493 if ( SCIPvarIsNegated(var) ) in checkSystemGF2()
|
| H A D | reader_lp.c | 3902 if ( SCIPvarIsNegated(binvar) ) in SCIPwriteLp()
4044 if ( ! SCIPvarIsNegated(binvar) ) in SCIPwriteLp()
|
| H A D | presol_gateextraction.c | 862 if( SCIPvarIsNegated(activevars[d]) ) in extractGates()
|
| H A D | reader_mps.c | 4259 if( SCIPvarIsNegated(binvar) ) in SCIPwriteMps()
4934 if( SCIPvarIsNegated(binvar) ) in SCIPwriteMps()
|
| H A D | cons_and.c | 1588 …assert(SCIPvarIsActive(var) || (SCIPvarIsNegated(var) && SCIPvarIsActive(SCIPvarGetNegatedVar(var)… in mergeMultiples()
1615 …assert(SCIPvarIsActive(var) || (SCIPvarIsNegated(var) && SCIPvarIsActive(SCIPvarGetNegatedVar(var)… in mergeMultiples()
|
| H A D | branch_relpscost.c | 398 else if( SCIPvarIsNegated(repvar) ) in binvarGetActiveProbindex()
|
| H A D | cons_logicor.c | 1255 negarray[v] = SCIPvarIsNegated(vars[v]); in mergeMultiples()
3430 negated[v] = SCIPvarIsNegated(repvars[v]); in removeConstraintsDueToNegCliques()
|
| H A D | cons_indicator.c | 1294 if ( SCIPvarIsBinary(var) && SCIPvarIsNegated(var) ) in varGetObjDelta()
3524 assert( var == consdata->binvar || SCIPvarIsActive(var) || SCIPvarIsNegated(var) ); in presolRoundIndicator()
5479 if ( SCIPvarIsNegated(consdata->binvar) ) in SCIP_DECL_CONSINITSOL()
|
| H A D | cons_orbitope.c | 3873 if ( SCIPvarIsNegated(var) ) in SCIPcreateConsOrbitope()
|
| H A D | cons_knapsack.c | 6872 if( SCIPvarIsNegated(var) ) in checkParallelObjective()
7172 if( SCIPvarIsNegated(repvar) ) in applyFixings()
7363 …assert(SCIPvarIsActive(consdata->vars[i]) || SCIPvarIsNegated(consdata->vars[i]) || SCIPvarGetStat… in propagateCons()
|
| H A D | scip_var.c | 234 if( SCIPvarIsNegated(var) ) in SCIPwriteVarName()
8163 if( SCIPvarIsNegated(var) ) in SCIPchgVarType()
|
| H A D | reopt.c | 3931 assert(SCIPvarIsNegated(consvars[v])); in addSplitcons()
|
| H A D | var.c | 16815 #undef SCIPvarIsNegated
17171 SCIP_Bool SCIPvarIsNegated( in SCIPvarIsNegated() function
|
| H A D | cons_linear.c | 10219 if( SCIPvarIsNegated(var) ) in checkEqualObjective()
|