Home
last modified time | relevance | path

Searched refs:CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT (Results 1 – 8 of 8) sorted by relevance

/third_party/boost/libs/icl/test/
Dtest_set_icl_set.hpp135 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, val1, val2); in itl_set_check_partial_invertive_monoid_plus_4_bicremental_types()
136 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, val1, val2); in itl_set_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_set_interval_set_shared.hpp124 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_partial_invertive_monoid_plus_4_bicremental_types()
125 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_interval_set_laws_shared.hpp106 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem); in interval_set_check_partial_invertive_monoid_plus_4_bicremental_types()
107 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem); in interval_set_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_quantifier_map_shared.hpp111 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
112 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_interval_quantifier_shared.hpp154 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
155 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_quantifier_icl_map.hpp141 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
142 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_icl_quantifier_shared.hpp184 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
185 CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_partial_invertive_monoid_plus_4_bicremental_types()
Dtest_laws.hpp754 #define CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(op_tag) check_partial_invertive_monoid_in… macro