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