Searched refs:weak_implication (Results 1 – 1 of 1) sorted by relevance
826 A* conclusion_pointer, B value, bool weak_implication) { in TriggerImplication() argument831 weak_implication ? Flag::SetBy::kWeakImplication in TriggerImplication()