H A D | set_operations_property_test.cpp | 72 RC_GTEST_PROP(OperationsOverSets1, Intersection, (Set && set1, Set &&set2)) in RC_GTEST_PROP() argument 76 result = SetIntersection(set1, set2); in RC_GTEST_PROP() 78 RC_ASSERT(set1.count(elt) > 0U && set2.count(elt) > 0U); in RC_GTEST_PROP() 80 for (int elt : set1) { in RC_GTEST_PROP() 84 RC_ASSERT(result.count(elt) == 0U || set1.count(elt) > 0U); in RC_GTEST_PROP() 88 RC_GTEST_PROP(OperationsOverSets1, Union, (Set && set1, Set &&set2)) in RC_GTEST_PROP() argument 91 result = SetUnion(set1, set2); in RC_GTEST_PROP() 93 RC_ASSERT(set1.count(elt) > 0U || set2.count(elt) > 0U); in RC_GTEST_PROP() 95 for (int elt : set1) { in RC_GTEST_PROP() 102 RC_GTEST_PROP(OperationsOverSets1, Difference, (Set && set1, Se in RC_GTEST_PROP() argument 112 RC_GTEST_PROP(OperationsOverSets2, Intersection, (Set && set1, Set &&set2, Set &&set3)) RC_GTEST_PROP() argument 131 RC_GTEST_PROP(OperationsOverSets2, Union, (Set && set1, Set &&set2, Set &&set3)) RC_GTEST_PROP() argument 149 RC_GTEST_PROP(OperationsOverSets2, Difference, (Set && set1, Set &&set2, Set &&set3)) RC_GTEST_PROP() argument [all...] |