Searched refs:Disjunction (Results 1 – 6 of 6) sorted by relevance
43 Disjunction, enumerator87 Val->getKind() == Kind::Disjunction || in classof()133 : BoolValue(Kind::Disjunction), LeftSubVal(LeftSubVal), in DisjunctionValue()137 return Val->getKind() == Kind::Disjunction; in classof()
87 case Value::Kind::Disjunction: { in debugString()
254 case Value::Kind::Disjunction: { in substituteBoolValue()
213 case Value::Kind::Disjunction: { in buildBooleanFormula()
55 TEST(BoolValueDebugStringTest, Disjunction) { in TEST() argument
870 TEST_F(FlowConditionTest, Disjunction) { in TEST_F() argument