Searched refs:RightSub (Results 1 – 1 of 1) sorted by relevance
277 auto &RightSub = in substituteBoolValue() local279 Result = &getOrCreateDisjunction(LeftSub, RightSub); in substituteBoolValue()286 auto &RightSub = in substituteBoolValue() local288 Result = &getOrCreateConjunction(LeftSub, RightSub); in substituteBoolValue()295 auto &RightSub = in substituteBoolValue() local297 Result = &getOrCreateImplication(LeftSub, RightSub); in substituteBoolValue()304 auto &RightSub = in substituteBoolValue() local306 Result = &getOrCreateIff(LeftSub, RightSub); in substituteBoolValue()