Searched refs:IsNegatedOrEqualImplied (Results 1 – 1 of 1) sorted by relevance
791 bool IsNegatedOrEqualImplied = in isImpliedBy() local797 if (IsConditionImplied && IsNegatedOrEqualImplied) in isImpliedBy()