Searched defs:set_result (Results 1 – 1 of 1) sorted by relevance
| /arkcompiler/runtime_core/verification/util/tests/ |
| D | bit_vector_property_test.cpp | 379 … auto set_result = SetIntersection(universum, SetDifference(SetUnion(bset1.Indices, bset2.Indices), in __anon8df752f41e02() local
393 auto set_result = SetIntersection(universum, xor2); in __anon8df752f41f02() local
402 … auto set_result = SetIntersection(universum, SetDifference(bset1.Indices, bset2.Indices)); in __anon8df752f42002() local
416 … auto set_result = SetIntersection(universum, bset1.Indices, bset2.Indices, bset3.Indices); in __anon8df752f42102() local
427 …auto set_result = SetDifference(universum, SetIntersection(bset1.Indices, bset2.Indices, bset3.Ind… in __anon8df752f42202() local
438 …auto set_result = SetIntersection(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)… in __anon8df752f42302() local
449 … auto set_result = SetDifference(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)); in __anon8df752f42402() local
463 auto set_result = SetIntersection(universum, xor2); in __anon8df752f42502() local
477 auto set_result = SetDifference(universum, xor2); in __anon8df752f42602() local
490 auto set_result = SetIntersection(set_and, set_not); in __anon8df752f42702() local
[all …]
|