Searched refs:CCK_Disjunction (Results 1 – 2 of 2) sorted by relevance
84 enum CompoundConstraintKind { CCK_Conjunction, CCK_Disjunction }; enumerator
1212 BO.isAnd() ? CCK_Conjunction : CCK_Disjunction); in fromConstraintExpr()1285 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) { in makeDNF()