| /dports/math/SCIP/scip-7.0.3/src/scip/ |
| H A D | scip_conflict.h | 237 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur…
263 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
288 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur…
315 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
341 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur…
368 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
412 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
|
| H A D | scip_conflict.c | 346 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur… in SCIPaddConflictLb() argument
354 …(scip->conflict, scip->mem->probmem, scip->set, scip->stat, var, SCIP_BOUNDTYPE_LOWER, bdchgidx) ); in SCIPaddConflictLb()
380 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur… in SCIPaddConflictRelaxedLb() argument
413 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur… in SCIPaddConflictUb() argument
421 …(scip->conflict, scip->mem->probmem, scip->set, scip->stat, var, SCIP_BOUNDTYPE_UPPER, bdchgidx) ); in SCIPaddConflictUb()
448 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur… in SCIPaddConflictRelaxedUb() argument
482 …SCIP_BDCHGIDX* bdchgidx /**< bound change index representing time on path to cur… in SCIPaddConflictBd() argument
490 …ictAddBound(scip->conflict, scip->mem->probmem, scip->set, scip->stat, var, boundtype, bdchgidx) ); in SCIPaddConflictBd()
517 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur… in SCIPaddConflictRelaxedBd() argument
585 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur… in SCIPisConflictVarUsed() argument
[all …]
|
| H A D | cons_linking.c | 2798 …asEQ(scip, SCIPgetVarUbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2799 …asEQ(scip, SCIPgetVarLbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2842 …asEQ(scip, SCIPgetVarUbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2843 …asEQ(scip, SCIPgetVarLbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2854 …asEQ(scip, SCIPgetVarUbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2855 …asEQ(scip, SCIPgetVarLbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2921 …asEQ(scip, SCIPgetVarUbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2922 …asEQ(scip, SCIPgetVarLbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2923 …asEQ(scip, SCIPgetVarUbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
2924 …asEQ(scip, SCIPgetVarLbAtIndex(scip, linkvar, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, linkvar, … in SCIP_DECL_CONSRESPROP()
[all …]
|
| H A D | prop_pseudoobj.c | 1848 loclb = SCIPgetVarLbAtIndex(scip, var, bdchgidx, FALSE); in addConflictBounds()
1855 SCIP_CALL( SCIPaddConflictLb(scip, var, bdchgidx) ); in addConflictBounds()
1869 locub = SCIPgetVarUbAtIndex(scip, var, bdchgidx, FALSE); in addConflictBounds()
1876 SCIP_CALL( SCIPaddConflictUb(scip, var, bdchgidx) ); in addConflictBounds()
1918 lb = SCIPgetVarLbAtIndex(scip, var, bdchgidx, TRUE); in getConflictImplics()
1919 ub = SCIPgetVarUbAtIndex(scip, var, bdchgidx, TRUE); in getConflictImplics()
1957 lb = SCIPgetVarLbAtIndex(scip, var, bdchgidx, FALSE); in addConflictBinvar()
1958 ub = SCIPgetVarUbAtIndex(scip, var, bdchgidx, FALSE); in addConflictBinvar()
2044 assert(bdchgidx != NULL); in adjustCutoffbound()
2045 …t(SCIPisEQ(scip, SCIPgetVarLbAtIndex(scip, var, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, var, bd… in adjustCutoffbound()
[all …]
|
| H A D | pub_var.h | 1107 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1118 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1130 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1142 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1154 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1167 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1178 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
1439 #define SCIPbdchginfoGetDepth(bdchginfo) (bdchginfo)->bdchgidx.depth
1440 #define SCIPbdchginfoGetPos(bdchginfo) (bdchginfo)->bdchgidx.pos
1441 #define SCIPbdchginfoGetIdx(bdchginfo) (&(bdchginfo)->bdchgidx)
|
| H A D | prop_genvbounds.c | 320 bound = SCIPgetVarLbAtIndex(scip, vars[i], bdchgidx, TRUE); in getGenVBoundsMinActivityConflict()
326 if( bdchgidx != NULL && SCIPgetConflictVarLb(scip, vars[i]) > bound ) in getGenVBoundsMinActivityConflict()
332 bound = SCIPgetVarUbAtIndex(scip, vars[i], bdchgidx, TRUE); in getGenVBoundsMinActivityConflict()
807 assert(bdchgidx != NULL || genvbound->boundtype != SCIP_BOUNDTYPE_LOWER in resolveGenVBoundPropagation()
809 assert(bdchgidx != NULL || genvbound->boundtype != SCIP_BOUNDTYPE_UPPER in resolveGenVBoundPropagation()
848 …isEQ(scip, SCIPgetVarLbAtIndex(scip, vars[i], bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, vars[i], … in resolveGenVBoundPropagation()
849 …isEQ(scip, SCIPgetVarUbAtIndex(scip, vars[i], bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, vars[i], … in resolveGenVBoundPropagation()
858 lbatindex = SCIPgetVarLbAtIndex(scip, vars[i], bdchgidx, TRUE); in resolveGenVBoundPropagation()
908 ubatindex = SCIPgetVarUbAtIndex(scip, vars[i], bdchgidx, TRUE); in resolveGenVBoundPropagation()
2690 ? SCIPgetVarLbAtIndex(scip, genvbound->var, bdchgidx, TRUE) in SCIP_DECL_PROPRESPROP()
[all …]
|
| H A D | cons_symresack.c | 2212 assert( bdchgidx != NULL ); in SCIP_DECL_CONSRESPROP()
2249 SCIP_CALL( SCIPaddConflictUb(scip, vars[inferinfo], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
2256 SCIP_CALL( SCIPaddConflictUb(scip, vars[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
2257 SCIP_CALL( SCIPaddConflictLb(scip, vars[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
2258 SCIP_CALL( SCIPaddConflictUb(scip, vars[invperm[i]], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
2270 assert( SCIPvarGetLbAtIndex(vars[inferinfo2], bdchgidx, FALSE) < 0.5 in SCIP_DECL_CONSRESPROP()
2271 && SCIPvarGetLbAtIndex(vars[inferinfo2], bdchgidx, TRUE) > 0.5 ); in SCIP_DECL_CONSRESPROP()
2273 if ( SCIPvarGetLbAtIndex(vars[inferinfo2], bdchgidx, FALSE) < 0.5 in SCIP_DECL_CONSRESPROP()
2274 && SCIPvarGetLbAtIndex(vars[inferinfo2], bdchgidx, TRUE) > 0.5 ) in SCIP_DECL_CONSRESPROP()
2287 SCIP_CALL( SCIPaddConflictUb(scip, vars[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
[all …]
|
| H A D | conflict.h | 216 …SCIP_BDCHGIDX* bdchgidx /**< bound change index (time stamp of bound change), or…
227 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index (time stamp of bound change), or…
239 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index (time stamp of bound change), or…
|
| H A D | cons_orbitope.c | 1985 if ( SCIPvarGetLbAtIndex(vars[origrow][j], bdchgidx, FALSE) > 0.5 ) in resolvePropagationFullOrbitope()
2021 if ( SCIPvarGetUbAtIndex(vars[origrow][j], bdchgidx, FALSE) < 0.5 ) in resolvePropagationFullOrbitope()
2049 if ( SCIPvarGetLbAtIndex(vars[origrow][j], bdchgidx, FALSE) > 0.5 || in resolvePropagationFullOrbitope()
2050 SCIPvarGetUbAtIndex(vars[origrow][j], bdchgidx, FALSE) < 0.5 ) in resolvePropagationFullOrbitope()
2154 if ( SCIPgetVarUbAtIndex(scip, vars[i][j], bdchgidx, FALSE) < 0.5 ) in resolvePropagation()
2159 if ( SCIPgetVarLbAtIndex(scip, vars[i][j], bdchgidx, FALSE) > 0.5 ) in resolvePropagation()
2216 SCIP_CALL( SCIPaddConflictUb(scip, vars[p1][p2], bdchgidx) ); in resolvePropagation()
2288 SCIP_CALL( SCIPaddConflictUb(scip, vars[p1][p2], bdchgidx) ); in resolvePropagation()
2326 SCIP_CALL( SCIPaddConflictUb(scip, vars[i][k], bdchgidx) ); in resolvePropagation()
2353 SCIP_CALL( SCIPaddConflictLb(scip, vars[i][k], bdchgidx) ); in resolvePropagation()
[all …]
|
| H A D | cons_or.c | 1241 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index (time stamp of bound change), or… in resolvePropagation() argument
1261 assert(SCIPgetVarLbAtIndex(scip, infervar, bdchgidx, TRUE) > 0.5); in resolvePropagation()
1265 if( SCIPgetVarLbAtIndex(scip, vars[i], bdchgidx, FALSE) > 0.5 ) in resolvePropagation()
1277 assert(SCIPgetVarUbAtIndex(scip, infervar, bdchgidx, TRUE) < 0.5); in resolvePropagation()
1278 assert(SCIPgetVarUbAtIndex(scip, consdata->resvar, bdchgidx, FALSE) < 0.5); in resolvePropagation()
1285 assert(SCIPgetVarUbAtIndex(scip, infervar, bdchgidx, TRUE) < 0.5); in resolvePropagation()
1289 assert(SCIPgetVarUbAtIndex(scip, vars[i], bdchgidx, FALSE) < 0.5); in resolvePropagation()
1297 assert(SCIPgetVarLbAtIndex(scip, infervar, bdchgidx, TRUE) > 0.5); in resolvePropagation()
1298 assert(SCIPgetVarLbAtIndex(scip, consdata->resvar, bdchgidx, FALSE) > 0.5); in resolvePropagation()
1304 assert(SCIPgetVarUbAtIndex(scip, vars[i], bdchgidx, FALSE) < 0.5); in resolvePropagation()
[all …]
|
| H A D | cons_cumulative.c | 2532 …IPisFeasEQ(scip, SCIPgetVarUbAtIndex(scip, var, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, var, bd… in resolvePropagationCoretimes()
2534 …IPisFeasEQ(scip, SCIPgetVarLbAtIndex(scip, var, bdchgidx, TRUE), SCIPgetVarLbAtIndex(scip, var, bd… in resolvePropagationCoretimes()
2613 …IPisFeasEQ(scip, SCIPgetVarUbAtIndex(scip, var, bdchgidx, TRUE), SCIPgetVarUbAtIndex(scip, var, bd… in resolvePropagationCoretimes()
2623 …varGetName(var), SCIPgetVarLbAtIndex(scip, var, bdchgidx, FALSE), SCIPgetVarUbAtIndex(scip, var, b… in resolvePropagationCoretimes()
2754 SCIP_CALL( SCIPaddConflictLb(scip, infervar, bdchgidx) );
2758 SCIP_CALL( SCIPaddConflictUb(scip, infervar, bdchgidx) );
2933 …varGetName(var), SCIPgetVarLbAtIndex(scip, var, bdchgidx, FALSE), SCIPgetVarUbAtIndex(scip, var, b… in analyzeEnergyRequirement()
2962 …assert(bdchgidx == NULL || SCIPconvertRealToInt(scip, SCIPgetVarUbAtIndex(scip, var, bdchgidx, TRU… in analyzeEnergyRequirement()
3009 … assert(bdchgidx == NULL || end - SCIPgetVarLbAtIndex(scip, var, bdchgidx, TRUE) < duration); in analyzeEnergyRequirement()
3201 …assert(SCIPgetVarUbAtIndex(scip, infervar, bdchgidx, FALSE) - SCIPgetVarUbAtIndex(scip, infervar, … in respropCumulativeCondition()
[all …]
|
| H A D | cons_orbisack.c | 1671 assert( bdchgidx != NULL ); in SCIP_DECL_CONSRESPROP()
1690 …( SCIPvarGetUbAtIndex(vars2[inferinfo], bdchgidx, FALSE) > 0.5 && SCIPvarGetUbAtIndex(vars2[inferi… in SCIP_DECL_CONSRESPROP()
1692 …( SCIPvarGetUbAtIndex(vars2[inferinfo], bdchgidx, FALSE) > 0.5 && SCIPvarGetUbAtIndex(vars2[inferi… in SCIP_DECL_CONSRESPROP()
1699 SCIP_CALL( SCIPaddConflictUb(scip, vars1[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
1700 SCIP_CALL( SCIPaddConflictLb(scip, vars1[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
1701 SCIP_CALL( SCIPaddConflictUb(scip, vars2[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
1702 SCIP_CALL( SCIPaddConflictLb(scip, vars2[i], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
1704 SCIP_CALL( SCIPaddConflictUb(scip, vars1[inferinfo], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
|
| H A D | type_prop.h | 250 SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX* bdchgidx, SCIP_Real relaxedbd, SCIP_RESULT* result)
|
| H A D | var.c | 16200 if( !SCIPbdchgidxIsEarlier(bdchgidx, &var->lbchginfos[i].bdchgidx) ) in SCIPvarGetLbchgInfo()
16218 if( SCIPbdchgidxIsEarlier(&var->lbchginfos[i].bdchgidx, bdchgidx) ) in SCIPvarGetLbchgInfo()
16256 if( !SCIPbdchgidxIsEarlier(bdchgidx, &var->ubchginfos[i].bdchgidx) ) in SCIPvarGetUbchgInfo()
16274 if( SCIPbdchgidxIsEarlier(&var->ubchginfos[i].bdchgidx, bdchgidx) ) in SCIPvarGetUbchgInfo()
16327 if( bdchgidx == NULL ) in SCIPvarGetLbAtIndex()
16446 if( bdchgidx == NULL ) in SCIPvarGetUbAtIndex()
16631 SCIP_BDCHGIDX* bdchgidx; in SCIPvarGetLastBdchgDepth() local
16634 assert(bdchgidx != NULL); in SCIPvarGetLastBdchgDepth()
16636 return bdchgidx->depth; in SCIPvarGetLastBdchgDepth()
18202 assert(bdchgidx != NULL); in SCIPbdchgidxGetPos()
[all …]
|
| H A D | prop.h | 164 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index, representing the point of time …
|
| H A D | struct_var.h | 112 …SCIP_BDCHGIDX bdchgidx; /**< bound change index in path from root to current nod… member
|
| H A D | scip_var.h | 927 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
938 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
950 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
959 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index representing time on path to cur…
|
| H A D | prop.c | 734 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index, representing the point of time … in SCIPpropResolvePropagation() argument
741 && SCIPgetVarLbAtIndex(set->scip, infervar, bdchgidx, TRUE) > SCIPvarGetLbGlobal(infervar)) in SCIPpropResolvePropagation()
743 … && SCIPgetVarUbAtIndex(set->scip, infervar, bdchgidx, TRUE) < SCIPvarGetUbGlobal(infervar))); in SCIPpropResolvePropagation()
753 SCIP_CALL( prop->propresprop(set->scip, prop, infervar, inferinfo, inferboundtype, bdchgidx, in SCIPpropResolvePropagation()
|
| H A D | cons_cumulative.h | 303 …SCIP_BDCHGIDX* bdchgidx, /**< the index of the bound change, representing the poi…
|
| H A D | prop_vbounds.c | 1344 …SCIP_BDCHGIDX* bdchgidx /**< the index of the bound change, representing the poi… in resolvePropagation() argument
1357 SCIP_CALL( SCIPaddConflictLb(scip, var, bdchgidx) ); in resolvePropagation()
1360 SCIP_CALL( SCIPaddConflictUb(scip, var, bdchgidx) ); in resolvePropagation()
1379 …SCIP_BDCHGIDX* bdchgidx, /**< the index of the bound change, representing the poi… in relaxVbdvar() argument
1386 SCIP_CALL( SCIPaddConflictRelaxedLb(scip, var, bdchgidx, relaxedbd) ); in relaxVbdvar()
1391 SCIP_CALL( SCIPaddConflictRelaxedUb(scip, var, bdchgidx, relaxedbd) ); in relaxVbdvar()
3048 SCIP_CALL( relaxVbdvar(scip, startvar, starttype, bdchgidx, relaxedbd) ); in SCIP_DECL_PROPRESPROP()
3052 SCIP_CALL( resolvePropagation(scip, propdata, startvar, starttype, bdchgidx) ); in SCIP_DECL_PROPRESPROP()
|
| H A D | var.h | 1529 SCIP_BDCHGIDX* bdchgidx /**< bound change index */
1557 #define SCIPbdchgidxGetPos(bdchgidx) ((bdchgidx)->pos) argument
|
| H A D | cons.h | 793 …SCIP_BDCHGIDX* bdchgidx, /**< the index of the bound change, representing the poi…
1105 …SCIP_BDCHGIDX* bdchgidx, /**< bound change index, representing the point of time …
|
| H A D | scip_var.c | 2007 return SCIPgetVarLbAtIndex(scip, var->data.original.transvar, bdchgidx, after); in SCIPgetVarLbAtIndex()
2011 if( bdchgidx == NULL ) in SCIPgetVarLbAtIndex()
2015 bdchginfo = SCIPvarGetLbchgInfo(var, bdchgidx, after); in SCIPgetVarLbAtIndex()
2031 lb = SCIPgetVarLbAtIndex(scip, var->data.aggregate.var, bdchgidx, after); in SCIPgetVarLbAtIndex()
2045 ub = SCIPgetVarUbAtIndex(scip, var->data.aggregate.var, bdchgidx, after); in SCIPgetVarLbAtIndex()
2147 if( bdchgidx == NULL ) in SCIPgetVarUbAtIndex()
2151 bdchginfo = SCIPvarGetUbchgInfo(var, bdchgidx, after); in SCIPgetVarUbAtIndex()
2167 ub = SCIPgetVarUbAtIndex(scip, var->data.aggregate.var, bdchgidx, after); in SCIPgetVarUbAtIndex()
2181 lb = SCIPgetVarLbAtIndex(scip, var->data.aggregate.var, bdchgidx, after); in SCIPgetVarUbAtIndex()
2270 return SCIPgetVarLbAtIndex(scip, var, bdchgidx, after); in SCIPgetVarBdAtIndex()
[all …]
|
| /dports/math/SCIP/scip-7.0.3/examples/LOP/src/ |
| H A D | cons_lop.c | 933 assert( bdchgidx != NULL ); in SCIP_DECL_CONSRESPROP()
961 …if ( SCIPvarGetUbAtIndex(infervar, bdchgidx, FALSE) > 0.5 && SCIPvarGetUbAtIndex(infervar, bdchgid… in SCIP_DECL_CONSRESPROP()
965 SCIP_CALL( SCIPaddConflictLb(scip, vars[index1][index2], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
971 …if ( SCIPvarGetLbAtIndex(infervar, bdchgidx, FALSE) < 0.5 && SCIPvarGetLbAtIndex(infervar, bdchgid… in SCIP_DECL_CONSRESPROP()
975 SCIP_CALL( SCIPaddConflictUb(scip, vars[index1][index2], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
998 …assert( SCIPvarGetUbAtIndex(infervar, bdchgidx, FALSE) > 0.5 && SCIPvarGetUbAtIndex(infervar, bdch… in SCIP_DECL_CONSRESPROP()
1002 SCIP_CALL( SCIPaddConflictLb(scip, vars[index1][index2], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
1003 SCIP_CALL( SCIPaddConflictLb(scip, vars[index2][index3], bdchgidx) ); in SCIP_DECL_CONSRESPROP()
|
| /dports/math/py-PySCIPOpt/PySCIPOpt-3.0.2/src/pyscipopt/ |
| H A D | propagator.pxi | 150 … SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX* bdchgidx, SCIP_Real relaxedbd, SCIP_RESULT* result):
157 #TODO: parse bdchgidx?
|