Searched refs:getARindex (Results 1 – 4 of 4) sorted by relevance
40 if (std::equal(Rindex, Rindex + Rlen, &matrix_.getARindex()[start])) { in replaceSupportDuplicate()58 const int* ARindex = matrix_.getARindex(); in getParallelism()161 const int* ARindex = matrix_.getARindex(); in separate()
82 const int* getARindex() const { return ARindex_.data(); } in getARindex() function
120 cutinds = matrix_.getARindex() + start; in getCut()
336 const int* arindex = cutpool->getMatrix().getARindex(); in updateActivityLbChange()448 const int* arindex = cutpool->getMatrix().getARindex(); in updateActivityUbChange()527 const int* arindex = cutpool->getMatrix().getARindex(); in cutAdded()820 const int* arindex = cutpool->getMatrix().getARindex(); in propagate()