Searched refs:IsConditionImplied (Results 1 – 1 of 1) sorted by relevance
845 bool IsConditionImplied = CS.isConditionImplied(Coefficients); in isImpliedBy() local855 if (IsConditionImplied && IsNegatedOrEqualImplied) in isImpliedBy()875 if (IsConditionImplied) in isImpliedBy()