Searched refs:CCK_Conjunction (Results 1 – 2 of 2) sorted by relevance
108 enum CompoundConstraintKind { CCK_Conjunction, CCK_Disjunction }; enumerator
1562 std::move(*Next), CCK_Conjunction); in fromConstraintExprs()1591 BO.isAnd() ? CCK_Conjunction : CCK_Disjunction); in fromConstraintExpr()1651 FE->getOperator() == BinaryOperatorKind::BO_LAnd ? CCK_Conjunction in fromConstraintExpr()1695 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) { in makeCNF()