Lines Matching refs:DST
232 #define TCU_SET_INTERVAL_BOUNDS(DST, VAR, SETLOW, SETHIGH) do \
236 ::tcu::Interval& VAR##_dst_ = (DST); \
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
259 //! upper and lower bound of ARG, and DST is set to the union of these
262 #define TCU_INTERVAL_APPLY_MONOTONE1(DST, PARAM, ARG, VAR, BODY) do \
265 ::tcu::Interval& VAR##_dst_ = (DST); \
288 #define TCU_INTERVAL_APPLY_MONOTONE2(DST, P0, A0, P1, A1, VAR, BODY) \
290 DST, P0, A0, tmp2_, \
293 #define TCU_INTERVAL_APPLY_MONOTONE3(DST, P0, A0, P1, A1, P2, A2, VAR, BODY) \
295 DST, P0, A0, tmp3_, \