Searched refs:LeftSub (Results 1 – 1 of 1) sorted by relevance
275 auto &LeftSub = in substituteBoolValue() local279 Result = &getOrCreateDisjunction(LeftSub, RightSub); in substituteBoolValue()284 auto &LeftSub = in substituteBoolValue() local288 Result = &getOrCreateConjunction(LeftSub, RightSub); in substituteBoolValue()293 auto &LeftSub = in substituteBoolValue() local297 Result = &getOrCreateImplication(LeftSub, RightSub); in substituteBoolValue()302 auto &LeftSub = in substituteBoolValue() local306 Result = &getOrCreateIff(LeftSub, RightSub); in substituteBoolValue()