Lines Matching refs:BODY
254 #define TCU_SET_INTERVAL(DST, VAR, BODY) \
255 TCU_SET_INTERVAL_BOUNDS(DST, VAR, BODY, BODY)
257 //! Set the interval DST to the image of BODY on ARG, assuming that BODY on
258 //! ARG is a monotone function. In practice, BODY is evaluated on both the
260 //! results. While evaluating BODY, PARAM is bound to the bound of ARG, and
261 //! the output of BODY should be stored in VAR.
262 #define TCU_INTERVAL_APPLY_MONOTONE1(DST, PARAM, ARG, VAR, BODY) do \
275 BODY; \
280 BODY; \
288 #define TCU_INTERVAL_APPLY_MONOTONE2(DST, P0, A0, P1, A1, VAR, BODY) \
291 TCU_INTERVAL_APPLY_MONOTONE1(tmp2_, P1, A1, VAR, BODY))
293 #define TCU_INTERVAL_APPLY_MONOTONE3(DST, P0, A0, P1, A1, P2, A2, VAR, BODY) \
296 TCU_INTERVAL_APPLY_MONOTONE2(tmp3_, P1, A1, P2, A2, VAR, BODY))