Searched defs:Conjunction (Results 1 – 4 of 4) sorted by relevance
42 Conjunction, enumerator
44 TEST(BoolValueDebugStringTest, Conjunction) { in TEST() argument
827 TEST_F(FlowConditionTest, Conjunction) { in TEST_F() argument
784 auto Conjunction = fromConstraintExpr(S, D, E[0]); in fromConstraintExprs() local