Searched refs:wholeIV (Results 1 – 2 of 2) sorted by relevance
3260 Interval& wholeIV = const_cast<Interval&>(iargs.b); in doApply() local3264 TCU_INTERVAL_APPLY_MONOTONE1(wholeIV, x, iargs.a, whole, in doApply()
3231 Interval& wholeIV = const_cast<Interval&>(iargs.b); in doApply() local3235 TCU_INTERVAL_APPLY_MONOTONE1(wholeIV, x, iargs.a, whole, in doApply()