Searched refs:AllSGT (Results 1 – 1 of 1) sorted by relevance
320 bool AllSGT = true, NoneSGT = true; in TEST() local333 AllSGT &= N1.sgt(N2); in TEST()367 EXPECT_EQ(AllSGT || NoneSGT, KnownSGT.has_value()); in TEST()378 EXPECT_EQ(AllSGT, KnownSGT.has_value() && KnownSGT.value()); in TEST()