Searched refs:RightSub (Results 1 – 2 of 2) sorted by relevance
258 auto &RightSub = in substituteBoolValue() local260 Result = &getOrCreateDisjunction(LeftSub, RightSub); in substituteBoolValue()267 auto &RightSub = in substituteBoolValue() local269 Result = &getOrCreateConjunction(LeftSub, RightSub); in substituteBoolValue()276 auto &RightSub = in substituteBoolValue() local278 Result = &getOrCreateImplication(LeftSub, RightSub); in substituteBoolValue()285 auto &RightSub = in substituteBoolValue() local287 Result = &getOrCreateIff(LeftSub, RightSub); in substituteBoolValue()
1 @interface Foo(RightSub) <P2>