Searched defs:plus_tag (Results 1 – 12 of 12) sorted by relevance
58 template< typename T > struct plus_tag struct60 typedef typename T::tag type;
170 #define DEFINE_PARTIAL_INVERSION_CHECK_WRT_EQUAL(plus_tag, plus_sign) \ argument179 #define DEFINE_PARTIAL_INVERSION_CHECK_WRT(plus_tag, plus_sign) \ argument188 #define CHECK_PARTIAL_INVERSION_WRT_EQUAL(plus_tag) check_partial_inversion_wrt_equal_##plus_tag argument189 #define CHECK_PARTIAL_INVERSION_WRT(plus_tag) check_partial_inversion_wrt_##plus_tag argument200 #define DEFINE_INVERSE_CHECK_WRT_EQUAL(plus_tag, plus_sign) \ argument211 #define DEFINE_INVERSE_CHECK_WRT(plus_tag, plus_sign) \ argument222 #define CHECK_INVERSE_WRT_EQUAL(plus_tag) check_inverse_wrt_equal_##plus_tag argument223 #define CHECK_INVERSE_WRT(plus_tag) check_inverse_wrt_##plus_tag argument
58 template< typename T > struct plus_tag struct