Searched refs:intToInferInfo (Results 1 – 3 of 3) sorted by relevance
/dports/math/SCIP/scip-7.0.3/src/scip/ |
H A D | prop_vbounds.c | 229 INFERINFO intToInferInfo( in intToInferInfo() function 3001 starttype = inferInfoGetBoundtype(intToInferInfo(inferinfo)); in SCIP_DECL_PROPRESPROP() 3002 pos = inferInfoGetPos(intToInferInfo(inferinfo)); in SCIP_DECL_PROPRESPROP()
|
H A D | cons_cumulative.c | 278 INFERINFO intToInferInfo( in intToInferInfo() function 5455 if( inferInfoIsValid(intToInferInfo(lbinferinfos[v])) ) in propagateTTEF() 5476 if( inferInfoIsValid(intToInferInfo(ubinferinfos[v])) ) in propagateTTEF() 5495 … if( SCIPisConflictAnalysisApplicable(scip) && inferInfoIsValid(intToInferInfo(ubinferinfos[v])) ) in propagateTTEF() 5509 inferinfo = intToInferInfo(ubinferinfos[v]); in propagateTTEF() 13301 …ervar), SCIPconsGetName(cons), consdata->capacity, inferInfoGetProprule(intToInferInfo(inferinfo)), in SCIP_DECL_CONSRESPROP() 13306 …infervar, intToInferInfo(inferinfo), boundtype, bdchgidx, relaxedbd, conshdlrdata->usebdwidening, … in SCIP_DECL_CONSRESPROP() 14191 … infervar, intToInferInfo(inferinfo), boundtype, bdchgidx, relaxedbd, TRUE, explanation, result) ); in SCIPrespropCumulativeCondition()
|
H A D | cons_linear.c | 365 INFERINFO intToInferInfo( in intToInferInfo() function 16677 …SCIP_CALL( resolvePropagation(scip, cons, infervar, intToInferInfo(inferinfo), boundtype, bdchgidx… in SCIP_DECL_CONSRESPROP()
|