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 __anonea1bced31e02() local
393 auto set_result = SetIntersection(universum, xor2); in __anonea1bced31f02() local
402 … auto set_result = SetIntersection(universum, SetDifference(bset1.Indices, bset2.Indices)); in __anonea1bced32002() local
416 … auto set_result = SetIntersection(universum, bset1.Indices, bset2.Indices, bset3.Indices); in __anonea1bced32102() local
427 …auto set_result = SetDifference(universum, SetIntersection(bset1.Indices, bset2.Indices, bset3.Ind… in __anonea1bced32202() local
438 …auto set_result = SetIntersection(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)… in __anonea1bced32302() local
449 … auto set_result = SetDifference(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)); in __anonea1bced32402() local
463 auto set_result = SetIntersection(universum, xor2); in __anonea1bced32502() local
477 auto set_result = SetDifference(universum, xor2); in __anonea1bced32602() local
490 auto set_result = SetIntersection(set_and, set_not); in __anonea1bced32702() local
[all …]
|