Home
last modified time | relevance | path

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

/third_party/boost/libs/icl/test/
Dtest_interval_set_laws_shared.hpp67 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_monoid_plus_4_bicremental_types()
68 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_monoid_plus_4_bicremental_types()
85 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_monoid_et_4_bicremental_types()
86 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_monoid_et_4_bicremental_types()
126 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(set_a, set_b, set_c, segm, elem); in interval_set_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
127 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(set_a, set_b, set_c, segm, elem); in interval_set_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
172 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_group_plus_prot_inv_4_bicremental_types()
173 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, segm, elem); in interval_set_check_abelian_group_plus_prot_inv_4_bicremental_types()
Dtest_quantifier_map_shared.hpp70 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
71 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
89 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
90 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
132 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
133 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
180 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
181 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
Dtest_interval_quantifier_shared.hpp107 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
108 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
129 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
130 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
178 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
179 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
235 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
236 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, val_pair, map_pair); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
Dtest_icl_quantifier_shared.hpp135 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_monoid_plus_4_bicremental_types()
136 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_monoid_plus_4_bicremental_types()
158 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_monoid_et_4_bicremental_types()
159 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_monoid_et_4_bicremental_types()
209 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
210 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
268 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
269 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair_a, map_pair_b); in icl_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
Dtest_quantifier_icl_map.hpp88 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
89 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_monoid_plus_4_bicremental_types()
113 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
114 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_monoid_et_4_bicremental_types()
168 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus)(map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
169 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe)(map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_partial_invertive_monoid_plus_prot_inv_4_bicremental_types()
228 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
229 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (map_a, map_b, map_c, map_pair1, map_pair2); in itv_quantifier_check_abelian_group_plus_prot_inv_4_bicremental_types()
Dtest_set_icl_set.hpp85 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, val1, val2); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
86 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, val1, val2); in itl_set_check_abelian_monoid_plus_4_bicremental_types()
108 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (set_a, set_b, set_c, val1, val2); in itl_set_check_abelian_monoid_et_4_bicremental_types()
109 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, val1, val2); in itl_set_check_abelian_monoid_et_4_bicremental_types()
Dtest_set_interval_set_shared.hpp86 CHECK_ABELIAN_MONOID_INSTANCE_WRT(plus) (set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_abelian_monoid_plus_4_bicremental_types()
87 CHECK_ABELIAN_MONOID_INSTANCE_WRT(pipe) (set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_abelian_monoid_plus_4_bicremental_types()
103 CHECK_ABELIAN_MONOID_INSTANCE_WRT(et) (set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_abelian_monoid_et_4_bicremental_types()
104 CHECK_ABELIAN_MONOID_INSTANCE_WRT(caret)(set_a, set_b, set_c, inter_val1, inter_val2); in interval_set_check_abelian_monoid_et_4_bicremental_types()
Dtest_laws.hpp715 #define CHECK_ABELIAN_MONOID_INSTANCE_WRT(op_tag) check_abelian_monoid_instance_wrt_##op_tag macro