Lines Matching refs:S2
61 s_insertion(Element, S1, S2) :-
64 slist_set(L2, S2).
68 s_remove(Element, S1, S2) :-
71 slist_set(L2, S2).
128 s_intersection(S1, S2, S) :-
130 slist_set(L2, S2),
136 s_delta(S1, S2, S) :-
138 slist_set(L2, S2),
144 s_union(S1, S2, S) :-
146 slist_set(L2, S2),
201 s_included(S1, S2) :-
202 s_intersection(S1, S2, S),