| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | presol_implics.c | 109 SCIP_VAR** implvars[2]; in SCIP_DECL_PRESOLEXEC() local
139 index0 = SCIPvarGetIndex(implvars[0][i0]); in SCIP_DECL_PRESOLEXEC()
140 index1 = SCIPvarGetIndex(implvars[1][i1]); in SCIP_DECL_PRESOLEXEC()
149 index0 = SCIPvarGetIndex(implvars[0][i0]); /*lint !e838*/ in SCIP_DECL_PRESOLEXEC()
159 index1 = SCIPvarGetIndex(implvars[1][i1]); /*lint !e838*/ in SCIP_DECL_PRESOLEXEC()
168 assert(implvars[0][i0] == implvars[1][i1]); in SCIP_DECL_PRESOLEXEC()
178 bdchgvars[nbdchgs] = implvars[0][i0]; in SCIP_DECL_PRESOLEXEC()
200 implvarlb = SCIPvarGetLbGlobal(implvars[0][i0]); in SCIP_DECL_PRESOLEXEC()
201 implvarub = SCIPvarGetUbGlobal(implvars[0][i0]); in SCIP_DECL_PRESOLEXEC()
212 aggrvars[naggregations] = implvars[0][i0]; in SCIP_DECL_PRESOLEXEC()
[all …]
|
| H A D | presolve.c | 92 SCIP_VAR** implvars; in collectNonBinaryVBoundData() local
151 implvars = SCIPvarGetVubVars(var); in collectNonBinaryVBoundData()
162 …if( idx < 0 || SCIPisFeasEQ(scip, SCIPvarGetLbGlobal(implvars[w]), SCIPvarGetUbGlobal(implvars[w])… in collectNonBinaryVBoundData()
176 … if( SCIPvarGetLbGlobal(implvars[w]) > 0.5 || SCIPvarGetUbGlobal(implvars[w]) < 0.5 ) in collectNonBinaryVBoundData()
268 … if( SCIPvarGetLbGlobal(implvars[w]) > 0.5 || SCIPvarGetUbGlobal(implvars[w]) < 0.5 ) in collectNonBinaryVBoundData()
388 implvars = SCIPvarGetVlbVars(var); in collectNonBinaryVBoundData()
413 … if( SCIPvarGetLbGlobal(implvars[w]) > 0.5 || SCIPvarGetUbGlobal(implvars[w]) < 0.5 ) in collectNonBinaryVBoundData()
501 … if( SCIPvarGetLbGlobal(implvars[w]) > 0.5 || SCIPvarGetUbGlobal(implvars[w]) < 0.5 ) in collectNonBinaryVBoundData()
650 SCIP_VAR** implvars; in collectNonBinaryImplicationData() local
663 assert(implvars != NULL); in collectNonBinaryImplicationData()
[all …]
|
| H A D | sepa_impliedbounds.c | 164 SCIP_VAR** implvars; in separateCuts() local
177 implvars = SCIPvarGetImplVars(fracvars[i], TRUE); in separateCuts()
192 assert(implvars != NULL); in separateCuts()
197 if( SCIPvarGetProbindex(implvars[j]) < 0 ) in separateCuts()
200 solval = solvals[SCIPvarGetProbindex(implvars[j])]; in separateCuts()
206 ub = SCIPvarGetUbGlobal(implvars[j]); in separateCuts()
223 lb = SCIPvarGetLbGlobal(implvars[j]); in separateCuts()
240 implvars = SCIPvarGetImplVars(fracvars[i], FALSE); in separateCuts()
256 if( SCIPvarGetProbindex(implvars[j]) < 0 ) in separateCuts()
265 ub = SCIPvarGetUbGlobal(implvars[j]); in separateCuts()
[all …]
|
| H A D | prop_vbounds.c | 662 SCIP_VAR** implvars = SCIPvarGetImplVars(currvar, currlower); in extractCycle() local
673 varGetLbIndex(propdata, implvars[k]) : varGetUbIndex(propdata, implvars[k]))); in extractCycle()
967 SCIP_VAR** implvars; in dfs() local
972 implvars = SCIPvarGetImplVars(startvar, lower); in dfs()
981 if( !SCIPvarIsActive(implvars[i]) ) in dfs()
991 varGetLbIndex(propdata, implvars[i]) : varGetUbIndex(propdata, implvars[i])); in dfs()
997 … && !SCIPisFeasGE(scip, SCIPvarGetLbGlobal(implvars[i]), SCIPvarGetUbGlobal(implvars[i])) ) in dfs()
1939 SCIP_VAR** implvars; in propagateVbounds() local
1944 implvars = SCIPvarGetImplVars(startvar, lower); in propagateVbounds()
1960 if( !SCIPvarIsActive(implvars[n]) ) in propagateVbounds()
[all …]
|
| H A D | scip_copy.c | 2437 SCIP_VAR** implvars; in SCIPcopyImplicationsCliques() local
2447 implvars = SCIPvarGetImplVars(sourcevar, d); in SCIPcopyImplicationsCliques()
2456 …SCIP_CALL( SCIPgetVarCopy(sourcescip, targetscip, implvars[l], &implvar, varmap, consmap, global, … in SCIPcopyImplicationsCliques()
2459 … SCIPdebugMsg(sourcescip, "Getting copy for variable <%s> failed.\n", SCIPvarGetName(implvars[l])); in SCIPcopyImplicationsCliques()
|
| H A D | tree.c | 2517 SCIP_VAR** implvars; in SCIPnodePropagateImplics() local
2526 implvars = SCIPvarGetImplVars(var, varfixing); in SCIPnodePropagateImplics()
2539 if( SCIPvarGetStatus(implvars[j]) == SCIP_VARSTATUS_MULTAGGR || in SCIPnodePropagateImplics()
2540 SCIPvarGetStatus(SCIPvarGetProbvar(implvars[j])) == SCIP_VARSTATUS_MULTAGGR ) in SCIPnodePropagateImplics()
2544 lb = SCIPvarGetLbLocal(implvars[j]); in SCIPnodePropagateImplics()
2545 ub = SCIPvarGetUbLocal(implvars[j]); in SCIPnodePropagateImplics()
2572 if( SCIPvarGetStatus(SCIPvarGetProbvar(implvars[j])) == SCIP_VARSTATUS_FIXED ) in SCIPnodePropagateImplics()
2577 … eventqueue, cliquetable, implvars[j], implbounds[j], impltypes[j], NULL, NULL, 0, FALSE) ); in SCIPnodePropagateImplics()
|
| H A D | cons_sos1.c | 3785 SCIP_VAR** implvars = NULL; in initImplGraphSOS1() local
3829 SCIP_CALL( SCIPallocBufferArray(scip, &implvars, nsos1vars + nprobvars) ); in initImplGraphSOS1()
3839 implvars[nimplnodes++] = var; in initImplGraphSOS1()
3852 implvars[nimplnodes++] = var; in initImplGraphSOS1()
3864 nodedata->var = implvars[i]; in initImplGraphSOS1()
3909 …ata, conflictgraph, conshdlrdata->implgraph, implhash, adjacencymatrix, implvars, nimplnodes, nsos… in initImplGraphSOS1()
3919 SCIPfreeBufferArrayNull(scip, &implvars); in initImplGraphSOS1()
|
| H A D | var.c | 1568 SCIP_VAR** implvars; in SCIPvarRemoveCliquesImplicsVbs() local
1574 implvars = SCIPimplicsGetVars(var->implics, varfixing); in SCIPvarRemoveCliquesImplicsVbs()
1582 implvar = implvars[i]; in SCIPvarRemoveCliquesImplicsVbs()
4829 SCIP_VAR** implvars; in SCIPvarAggregate() local
4835 implvars = SCIPimplicsGetVars(var->implics, (SCIP_Bool)i); in SCIPvarAggregate()
4845 … branchcand, eventqueue, (SCIP_Bool)i, implvars[j], impltypes[j], implbounds[j], FALSE, infeasible, in SCIPvarAggregate()
9548 SCIP_VAR** implvars; in varAddTransitiveBinaryClosureImplic() local
9558 implvars = SCIPimplicsGetVars(implvar->implics, implvarfixing); in varAddTransitiveBinaryClosureImplic()
9575 assert(implvars[i] != implvar); in varAddTransitiveBinaryClosureImplic()
9580 if( SCIPvarIsActive(implvars[i]) ) in varAddTransitiveBinaryClosureImplic()
[all …]
|
| H A D | cons_quadratic.c | 3681 SCIP_VAR** implvars; in getImpliedBounds() local
3720 implvars = SCIPvarGetImplVars (x, xval); in getImpliedBounds()
3724 assert(implvars != NULL); in getImpliedBounds()
3729 if( !SCIPsortedvecFindPtr((void**)implvars, SCIPvarComp, (void*)y, nimpls, &pos) ) in getImpliedBounds()
3733 while( pos > 0 && implvars[pos-1] == y ) in getImpliedBounds()
3739 while( pos < nimpls && implvars[pos] == y ) in getImpliedBounds()
|
| H A D | cons_knapsack.c | 12742 SCIP_VAR** implvars; in SCIP_DECL_CONSPRESOL() local
12760 implvars = SCIPvarGetImplVars(var, FALSE); in SCIP_DECL_CONSPRESOL()
12778 cardvars[v] = implvars[j]; in SCIP_DECL_CONSPRESOL()
|
| /dports/math/SCIP/scip-7.0.3/check/ |
| H A D | check_count.awk | 83 implvars = 0;
127 implvars = $8;
129 binvars = vars - intvars - implvars - contvars;
221 if( intvars == 0 && implvars == 0 )
|
| H A D | check.awk | 281 implvars = 0;
531 implvars = $8;
533 binvars = vars - intvars - implvars - contvars;
984 if( intvars == 0 && implvars == 0 )
|
| /dports/math/SCIP/scip-7.0.3/applications/CycleClustering/check/ |
| H A D | check.awk | 281 implvars = 0;
531 implvars = $8;
533 binvars = vars - intvars - implvars - contvars;
984 if( intvars == 0 && implvars == 0 )
|