Lines Matching refs:setPositiveMarginIfLarger
672 void setPositiveMarginIfLarger(int p) { if (p > m_positiveMargin) m_positiveMargin = p; }