Searched refs:getCompoundKind (Results 1 – 2 of 2) sorted by relevance
106 CompoundConstraintKind getCompoundKind() const;
1549 Other.getCompoundKind()); in NormalizedConstraint()1834 NormalizedConstraint::getCompoundKind() const { in getCompoundKind() function in NormalizedConstraint1991 if (NC.getCompoundKind() == FormulaType::Kind) { in Normalize()