Searched refs:varprobindex (Results 1 – 1 of 1) sorted by relevance
9937 int varprobindex; in tightenWeightsLift() local9948 varprobindex = SCIPvarGetProbindex(var); in tightenWeightsLift()9949 assert(0 <= varprobindex && varprobindex < nbinvars); in tightenWeightsLift()9952 zeroweightsums[!value][varprobindex] += weight; /*lint !e514*/ in tightenWeightsLift()9954 tmpindices3[tmp3] = varprobindex; in tightenWeightsLift()