Lines Matching refs:R1
134 seteval(S1, R1),135 union_s(R, R1,Re).138 seteval(S1, R1),139 inter_s(R, R1, Re).142 seteval(S1, R1),143 diff_s(R, R1, Re).150 seteval(S1, R1),151 dis_s(R, R1).167 seteval(S1, R1),168 sub_s(R, R1).