Searched refs:getCompoundKind (Results 1 – 2 of 2) sorted by relevance
143 CompoundConstraintKind getCompoundKind() const { in getCompoundKind() function
1536 Other.getCompoundKind()); in NormalizedConstraint()1695 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) { in makeCNF()1727 if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) { in makeDNF()