Searched refs:dimIv (Results 1 – 1 of 1) sorted by relevance
212 unsigned dimIv = constraints.appendDimVar(iv); in addLoopRangeConstraints() local230 ineqLb[dimIv] = 1; in addLoopRangeConstraints()255 return constraints.addBound(IntegerPolyhedron::UB, dimIv, map); in addLoopRangeConstraints()