Lines Matching refs:S2
282 ord_disjoint(S1, S2) :-
284 ord_disjoint1(S1, S2).
321 ord_add_element(S1, E, S2) :-
322 ord_insert(S1, E, S2).
389 ord_intersect(S1, S2, S) :-
390 ord_intersection(S1, S2, S).
394 ord_intersection(S1, S2, L) :-
396 ord_intersection1(S1, S2, L).
502 ord_superset(S1, S2) :-
503 ord_subset(S2, S1).
540 ord_proper_superset(S1, S2) :-
541 ord_proper_subset(S2, S1).
556 ord_subtract(S1, S2, L) :-
558 ord_subtract1(S1, S2, L).
590 ord_symdiff(S1, S2, L) :-
592 ord_symdiff1(S1, S2, L).