Home
last modified time | relevance | path

Searched refs:intToInferInfo (Results 1 – 3 of 3) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dprop_vbounds.c229 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 Dcons_cumulative.c278 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 Dcons_linear.c365 INFERINFO intToInferInfo( in intToInferInfo() function
16677 …SCIP_CALL( resolvePropagation(scip, cons, infervar, intToInferInfo(inferinfo), boundtype, bdchgidx… in SCIP_DECL_CONSRESPROP()