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