Searched refs:CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT (Results 1 – 8 of 8) sorted by relevance
/third_party/boost/libs/icl/test/ |
D | test_set_icl_set.hpp | 135 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()
|
D | test_set_interval_set_shared.hpp | 124 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()
|
D | test_interval_set_laws_shared.hpp | 106 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()
|
D | test_quantifier_map_shared.hpp | 111 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()
|
D | test_interval_quantifier_shared.hpp | 154 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()
|
D | test_quantifier_icl_map.hpp | 141 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()
|
D | test_icl_quantifier_shared.hpp | 184 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()
|
D | test_laws.hpp | 754 #define CHECK_PARTIAL_INVERTIVE_MONOID_INSTANCE_WRT(op_tag) check_partial_invertive_monoid_in… macro
|