Home
last modified time | relevance | path

Searched defs:set_result (Results 1 – 1 of 1) sorted by relevance

/arkcompiler/runtime_core/verification/util/tests/
Dbit_vector_property_test.cpp379 … auto set_result = SetIntersection(universum, SetDifference(SetUnion(bset1.Indices, bset2.Indices), in __anona16105721e02() local
393 auto set_result = SetIntersection(universum, xor2); in __anona16105721f02() local
402 … auto set_result = SetIntersection(universum, SetDifference(bset1.Indices, bset2.Indices)); in __anona16105722002() local
416 … auto set_result = SetIntersection(universum, bset1.Indices, bset2.Indices, bset3.Indices); in __anona16105722102() local
427 …auto set_result = SetDifference(universum, SetIntersection(bset1.Indices, bset2.Indices, bset3.Ind… in __anona16105722202() local
438 …auto set_result = SetIntersection(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)… in __anona16105722302() local
449 … auto set_result = SetDifference(universum, SetUnion(bset1.Indices, bset2.Indices, bset3.Indices)); in __anona16105722402() local
463 auto set_result = SetIntersection(universum, xor2); in __anona16105722502() local
477 auto set_result = SetDifference(universum, xor2); in __anona16105722602() local
490 auto set_result = SetIntersection(set_and, set_not); in __anona16105722702() local
[all …]