Searched refs:makeIff (Results 1 – 2 of 2) sorted by relevance
569 BoolValue &makeIff(BoolValue &LHS, BoolValue &RHS) const { in makeIff() function
63 return Env.makeIff(*LHSBool, *RHSBool); in evaluateBooleanEquality()